A Python Frozenset Interpretation of Dependent Type Theory #1 Post by philzook » Mon, May 19, 2025, 6:18 PM UTC A Python Frozenset Interpretation of Dependent Type Theoryphilipzucker.com