Ad
  • Custom User Avatar

    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.

  • Custom User Avatar

    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.