Kata Training

Loading Unordered pair #1: add two natural numbers

Beta

Loading Unordered pair #1: add two natural numbers

Beta

Unordered pair #1: add two natural numbers

Language

Agda (Beta)
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Functional Programming

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit