Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
Core		Core
Core.cf		Core.cf
Example.agda		Example.agda
Example.mtt		Example.mtt
Main.hs		Main.hs
README.md		README.md

Repository files navigation

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

About

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

Report repository

Releases

No releases published

Packages

Contributors

Languages