Kata Training

Loading Remember all the guardedness and termination, and let it sized

6 kyu

Loading Remember all the guardedness and termination, and let it sized

6 kyu

Remember all the guardedness and termination, and let it sized

Language

Agda (Beta)
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Algorithms

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit