from Hacker News

A Python Frozenset Interpretation of Dependent Type Theory

by philzook on 5/19/25, 6:18 PM with 0 comments