6 kyu

Remember all the guardedness and termination, and let it sized

0190% of 58ice1000
Loading description...
Algorithms
Theorem Proving

These users have contributed to this kata:

Stats:

CreatedMay 22, 2019
PublishedMay 22, 2019
Warriors Trained44
Total Skips3
Total Code Submissions13
Total Times Completed8
Agda Completions8
Total Stars0
% of votes with a positive feedback rating90% of 5
Total "Very Satisfied" Votes4
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
6 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
7 kyu