4 ms·
Ada has constrained range types. Idris has lots more fun stuff with types. But not very mainstream yet.
by justincormack 2y ago
Ada has constrained range types. Idris has lots more fun stuff with types. But not very mainstream yet.
loading thread…