[Haskell-cafe] A pattern does not admit a type signature.

Brandon Allbery allbery.b at gmail.com
Sat Jun 18 20:59:12 UTC 2022

Isn't there a plugin for this kind of thing? (natnormalize?)

On Sat, Jun 18, 2022 at 4:49 PM Dan Dart <haskellcafe at dandart.co.uk> wrote:
> 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 at gmail.com

More information about the Haskell-Cafe mailing list