3 ms·
a dependent type is a type whose definition depends on a value https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Dependent_type
by jackfoxy 9y ago
a dependent type is a type whose definition depends on a value https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Dependent_type