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 Trained43
Total Skips1
Total Code Submissions30
Total Times Completed8
Coq Completions8
Total Stars3
% of votes with a positive feedback rating100% of 3
Total "Very Satisfied" Votes3
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
4 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • solitude Avatar
Ad