A Python Frozenset Interpretation of Dependent Type Theoryphilipzucker.com5 points·philzook··0 commentsOpen articleSaveView on HN