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
You can build this project with stack using ./build.sh (it works with git-bash on Windows)
There's an IntelliJ plugin for this language: https://github.com/owo-lang/intellij-dtlc

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
Core		Core
.gitignore		.gitignore
Core.cf		Core.cf
Example.agda		Example.agda
Example.mtt		Example.mtt
Main.hs		Main.hs
README.md		README.md
build.sh		build.sh

Navigation Menu