GitHub repository: valis/hoq
Primary language: Haskell
Description: A language based on homotopy type theory with an interval