Dependent Type Checker in Python(stephendiehl.com)
stephendiehl.com
Dependent Type Checker in Python
https://www.stephendiehl.com/posts/calculus_of_constructions_python/
0 comments
—
https://www.stephendiehl.com/posts/calculus_of_constructions_python/
—