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 Submissions34
Total Times Completed10
Coq Completions10
Total Stars5
% of votes with a positive feedback rating100% of 5
Total "Very Satisfied" Votes5
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
3 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • solitude Avatar
Ad