2 ms·
If you like type-level math, I really recommend the Idris 2 language. It uses this same system for numbers, and is somewhat-magically able to identify isomorphi
by nerdponx 3y ago
If you like type-level math, I really recommend the Idris 2 language. It uses this same system for numbers, and is somewhat-magically able to identify isomorphic structures like linked lists.