toIPA
Home
Blog
Category
Unit type
type allowing only one value in type theory
Pronunciation
/ˈjunət taɪp/
/ˈjuːnɪt tʌɪp/
Categories
singleton
data type