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