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.
An equality checker for DTT
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.
An equality checker for DTT