6 kyu

Remember all the guardedness and termination, and let it sized

0190% of 59ice1000
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedMay 22, 2019
PublishedMay 22, 2019
Warriors Trained57
Total Skips4
Total Code Submissions14
Total Times Completed9
Agda Completions9
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