Login
From:
Hey There Buddo!
(Uncensored)
subscribe
A Python frozenset interpretation of Dependent Type Theory | Hey There Buddo!
https://www.philipzucker.com/frozenset_dtt/
links
backlinks
Tagged with:
plt
formalmethods
Roast topics
Find topics
Find it!
TLDR. Types are basically sets. Why not python sets?
