- 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
mirror of A simple type-theoretic language: Mini-TT
mirror of A simple type-theoretic language: Mini-TT