jonsterling/Luitzen — pull request #1 by jonsterling (2014-06-01 02:16:43+00:00)
Title: Dependent Unions (WIP)

- [x] Type Formation
- [x] Type Equality
- [x] Term Introduction
- [x] Term Equality
- [ ] Term Elimination