3 ms·
With dependent types: https://en.m.wikipedia.org/wiki/Dependent_type https://en.m.wikipedia.org/wiki/Dependent_type
by jlg23 7y ago
With dependent types: https://en.m.wikipedia.org/wiki/Dependent_type https://en.m.wikipedia.org/wiki/Dependent_type