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