Beta

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

Description:

Loading description...
Fundamentals
Theorem Proving

Stats:

CreatedJun 18, 2019
PublishedJun 18, 2019
Warriors Trained34
Total Skips0
Total Code Submissions25
Total Times Completed7
Coq Completions7
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
2 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
2 kyu