A Python frozenset interpretation of Dependent Type Theory (by philzook) — discussion
#formalmethods #plt
