4 kyu

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

Description:

Loading description...
Theorem Proving
Functional Programming
Fundamentals

Stats:

CreatedMay 26, 2021
PublishedMay 26, 2021
Warriors Trained321
Total Skips18
Total Code Submissions257
Total Times Completed46
Haskell Completions46
Total Stars16
% of votes with a positive feedback rating96% of 14
Total "Very Satisfied" Votes13
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
Ad
Contributors
  • ice1000 Avatar
  • donaldsebleung Avatar
Ad