3 ms·
Nope, it's a Programming Language Theory thing. See here: https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Dependent_type
by mehrdadn 6y ago
Nope, it's a Programming Language Theory thing. See here: https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Dependent_type