PhDP / Mini-TT

mirror of A simple type-theoretic language: Mini-TT

Mini-TT

• This is a mirror of http://www.cse.chalmers.se/research/group/logic/Mini-TT/. I modify the haskell codes to compile current GHC (on Jan 2017).
• The paper is here. http://www.cse.chalmers.se/~bengt/papers/GKminiTT.pdf