calculus-of-constructions topic
List
calculus-of-constructions repositories
ttyped
15
Stars
1
Forks
Watchers
A simple dependently typed language based on the Calculus of Constructions.
