Unordered pair #1: add two natural numbers


Loading description...
Theorem Proving
Functional Programming

More By Author:

Check out these other kata created by ice1000


CreatedJun 15, 2022
PublishedJun 15, 2022
Warriors Trained17
Total Skips1
Total Code Submissions18
Total Times Completed10
Agda Completions10
Total Stars1
% of votes with a positive feedback rating100% of 2
Total "Very Satisfied" Votes2
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments2
Average Assessed Rank
8 kyu
Highest Assessed Rank
7 kyu
Lowest Assessed Rank
8 kyu