GitHub repository: sebmathguy/mltt
Primary language: Haskell
Created: 2016-02-06T00:33:37Z
Description: Implementation of Martin-Löf Type Theory in Haskell