Category:Agda2
From Rosetta Code
Agda2
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using Agda2.
This programming language may be used to instruct a computer to perform a task.
See Also: |
|
---|
Your Help Needed
If you know Agda2, please write code for some of the tasks not implemented in Agda2.
If you know Agda2, please write code for some of the tasks not implemented in Agda2.
Agda2 is an implementation of Agda2.
Other implementations of Agda2.
Subcategories
This category has the following 3 subcategories, out of 3 total.