3 ms·
Conal Elliott has a good overview, http://www.reddit.com/r/haskell/comments/fnc80/type_level_natural_numbers_ready_to_merge_into/c1h7c8x http://www.reddit.com/r
by dons 16y ago
Conal Elliott has a good overview, http://www.reddit.com/r/haskell/comments/fnc80/type_level_natural_numbers_ready_to_merge_into/c1h7c8x http://www.reddit.com/r/haskell/comments/fnc80/type_level_na...