GitHub repository: BramvanVeenschoten1/minimal-cic
Primary language: Haskell
Created: 2021-04-28T08:03:35Z
Description: a minimal implementation of the calculus of inductive constructions