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

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


CreatedDec 17, 2020
PublishedDec 17, 2020
Warriors Trained13
Total Skips1
Total Code Submissions6
Total Times Completed5
Haskell Completions5
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