A direct translation to haskell of Jon Sterling's talk How to code your own type theory. The todos where completed and some examples were written in app/Main.hs
.
fernandochu / dtt-equality-checker Goto Github PK
View Code? Open in Web Editor NEWAn equality checker for DTT