Category:Agda2

From Rosetta Code
(Redirected from Agda2)
Language
Agda2
This programming language may be used to instruct a computer to perform a task.
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using Agda2.
Agda2 is an implementation of Agda2. Other implementations of Agda2.
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

Subcategories

This category has the following 2 subcategories, out of 2 total.

@

Retrieved from "https://rosettacode.org/wiki/Category:Agda2?oldid=61884"