Buy Me a Coffee at ko-fi.com

Unit type

type allowing only one value in type theory

Pronunciation
/ˈjunət taɪp/
/ˈjuːnɪt tʌɪp/
Categories