A Python Frozenset Interpretation of Dependent Type Theory

5 points| philzook | 9 months ago |philipzucker.com