Mini-TT icon indicating copy to clipboard operation
Mini-TT copied to clipboard

verified publisher icon owo-lang
→

Metadata

Documented version of a simple type-theoretic language: Mini-TT

trafficstars

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

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon owo-lang

Metadata

Documented version of a simple type-theoretic language: Mini-TT

Back