ttyped
ttyped copied to clipboard
Published
20 hours ago •
lambda-11235
lambda-11235
A simple dependently typed language based on the Calculus of Constructions.
Results
0
ttyped issues
Sort by
recently updated
recently updated
newest added
Metadata
15
Stars
1
Forks
Watchers
Owner
Metadata
A simple dependently typed language based on the Calculus of Constructions.