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

[Brandon Allbery]

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