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

Dan Dart haskellcafe at dandart.co.uk
Sat Jun 18 20:43:53 UTC 2022


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


More information about the Haskell-Cafe mailing list