GitHub repository: samalws/CoC
Primary language: Haskell
Created: 2020-09-11T18:12:13Z
Description: Calculus of Constructions in Haskell