jonsterling/TT-Reflection — pull request #21 by jonsterling (2014-06-29 23:19:42+00:00)
Title: Extensional Equality (WIP)

Adding the correct equalities for the built-in types. Resolves #18.

- [x] Extensional for binder types (pi, sigma)
- [x] Extensional equality for functions
- [ ] Extensional equality for pairs (requires #6)