kino3 / Mini-TT Public

Notifications You must be signed in to change notification settings
Fork 6
Star 38

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

38 stars 6 forks Branches Tags Activity

Notifications

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

No packages published

Languages