← Back to overview
programming language
›
Agda
Agda
Cases coded
07