3 ms·
Reminds me of dependent types: https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Dependent_type
by Gregaros 5y ago
Reminds me of dependent types: https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Dependent_type