Kata Training

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

Beta

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

Beta

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

Language

Coq
Language Version

- VIM
- EMACS

Loading description...

Fundamentals

Theorem Proving

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit