A Python frozenset interpretation of Dependent Type Theory
Comments ⌘ Read more