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.
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.