Kata Training
Sign Up
Time to claim your honor
Training
Practice
Complete challenging
Kata
to earn honor and ranks. Re-train to hone technique
Freestyle Sparring
Take turns remixing and refactoring others code through
Kumite
Community
Leaderboards
Achieve honor and move up the global leaderboards
Chat
Join our
Discord
server and chat with your fellow code warriors
Discussions
View our
Github Discussions
board to discuss general Codewars topics
About
Docs
Learn about all of the different aspects of Codewars
Blog
Read the latest news from Codewars and the community
Log In
Sign Up
Loading A+A=B+B so A=B? Prove it in Haskell!
4 kyu
Loading A+A=B+B so A=B? Prove it in Haskell!
Instructions
Output
Restore
Loading description...
Theorem Proving
Functional Programming
Fundamentals
Your output will be shown here
Solution
Sample Tests
Reset
Test
Attempt
Submit
Confirm
Collect:
undefined
Loading collection data...
