Kata Training

Loading Modular operations on Finite data type

1 kyu

Loading Modular operations on Finite data type

1 kyu

Modular operations on Finite data type

25 of 67solitude1 Issue Reported

Language

Agda (Beta)

Idris (Beta)
Language Version

- VIM
- EMACS

Loading description...

Algorithms

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit