SKI-ing in Chicken's style 2: Church arithmetic and recursive functions

20100% of 34solitude
Loading description...
Theorem Proving

Other Kata Authored By solitude:

21100% of 45solitude
Status:Ranking feedback needed
Estimated Rank:
5 kyu
10100% of 46solitude
Status:Ranking feedback needed
Estimated Rank:
3 kyu


CreatedJun 18, 2019
PublishedJun 18, 2019
Warriors Trained22
Total Skips0
Total Code Submissions7
Total Times Completed4
Coq Completions4
Total Stars2
% of votes with a positive feedback rating100% of 3
Total "Very Satisfied" Votes3
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments1
Average Assessed Rank
1 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
1 kyu