Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
I don't usually comment on kata, but I have to say this was a very satisfying kata. I got a chance to learn about type families, and it gave me a new way to think about using Haskell for math proofs.
If you get stuck on the multiplying proofs, don't be afraid to go learn more about arithmetic on Peano numbers. I found that very helpful.
For others struggling with what to do with characters greater than 255, the kata author intends for you to "wrap" back around to 0. So if applying the rule gives you a result of 345, the author wants you to use 89 instead.
There is no way for you to know this until you actually attempt a solution and backwards engineer the expected results.