Buy Me a Coffee at ko-fi.com

Dependent type

data type whose definition depends on a value

Pronunciation
/dɪˈpɛndənt tʌɪp/
/dəˈpɛndənt taɪp/
Categories
data type