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