Buy Me a Coffee at ko-fi.com

Unit type

type allowing only one value in type theory

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