Kata Training

Loading Reach the size that lies across this new divide

4 kyu

Loading Reach the size that lies across this new divide

4 kyu

Reach the size that lies across this new divide

Language

Agda (Beta)
Language Version

- VIM
- EMACS

Loading description...

Debugging

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit