18 Jun
2022
18 Jun
'22
8:59 p.m.
Isn't there a plugin for this kind of thing? (natnormalize?)
On Sat, Jun 18, 2022 at 4:49 PM Dan Dart
When I'm implementing something like this, I'd typically use Peano numbers so it is easier to be well typed without extra symbols: https://wiki.haskell.org/Peano_numbers#Peano_number_types _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
-- brandon s allbery kf8nh allbery.b@gmail.com