/minitt

An implementation of MiniTT in Scala

Primary LanguageHaskell

Stargazers