Hacker News new | ask | show | jobs
A Python Frozenset Interpretation of Dependent Type Theory (philipzucker.com)
5 points by philzook 398 days ago