4 kyu

A+A=B+B so A=B? Prove it in Haskell!

8394% of 821ice1000
Loading description...
Theorem Proving
Functional Programming
Declarative Programming

These users have contributed to this kata:

Other Kata Authored By ice1000:

11100% of 412ice1000
Status:Testing & feedback needed
Estimated Rank:
5 kyu
Status:Testing & feedback needed
Estimated Rank:
3 kyu


CreatedMay 26, 2021
PublishedMay 26, 2021
Warriors Trained182
Total Skips7
Total Code Submissions92
Total Times Completed21
Haskell Completions21
Total Stars8
% of votes with a positive feedback rating94% of 8
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
4 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu