Dependent Type Checker in Python

(stephendiehl.com)

2 points | by tenslisi 11 hours ago ago

No comments yet.