Category:Agda: Difference between revisions
Content added Content deleted
(The actual name is Agda. The latest 'version' is 2.) |
(Added the web site and a brief description.) |
||
Line 1: | Line 1: | ||
{{language|Agda |
{{language|Agda |
||
|site=http://wiki.portal.chalmers.se/agda/pmwiki.php}}{{implementation|Agda}}{{stub}} |
|||
Agda is a dependently typed functional programming language. |
Latest revision as of 21:41, 12 February 2012
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: |
|
---|
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.
@
- Agda examples needing attention (empty)
- Agda User (1 P)
Pages in category "Agda"
The following 17 pages are in this category, out of 17 total.