GitHub repository: marklemay/calculus-of-constructions
Primary language: Scala
Description: a simple implementation of the pure calculus of constructions