Agda
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 Agda.
This programming language may be used to instruct a computer to perform a task.
Official website |
---|
See Also: |
|
---|
Your Help Needed
If you know Agda, please write code for some of the tasks not implemented in Agda.
If you know Agda, please write code for some of the tasks not implemented in Agda.
Agda is an implementation of Agda.
Other implementations of Agda.
Agda is a dependently typed functional programming language.
Subcategories
This category has the following 3 subcategories, out of 3 total.
Pages in category "Agda"
The following 15 pages are in this category, out of 15 total.