A+B=B+A? Prove it in using DataKinds!

1033% of 36ice1000
Loading description...
Theorem Proving
Functional Programming
Declarative Programming

Other Kata Authored By ice1000:


CreatedDec 17, 2020
PublishedDec 17, 2020
Warriors Trained20
Total Skips1
Total Code Submissions7
Total Times Completed6
Haskell Completions6
Total Stars1
% of votes with a positive feedback rating33% of 3
Total "Very Satisfied" Votes1
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes2
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
8 kyu