Beta

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

Description:

Loading description...
Fundamentals
Theorem Proving

Similar Kata:

Stats:

CreatedJun 18, 2019
PublishedJun 18, 2019
Warriors Trained45
Total Skips1
Total Code Submissions31
Total Times Completed9
Coq Completions9
Total Stars4
% of votes with a positive feedback rating100% of 4
Total "Very Satisfied" Votes4
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
4 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • solitude Avatar
Ad