Kata Training

Loading Tear me apart and merge the pieces together

3 kyu

Loading Tear me apart and merge the pieces together

3 kyu

Tear me apart and merge the pieces together

Language

Idris (Beta)
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Lists

Fundamentals

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit