Category:Agda

From Rosetta Code
Revision as of 21:41, 12 February 2012 by rosettacode>EdK (Added the web site and a brief description.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Language
Agda
This programming language may be used to instruct a computer to perform a task.
Official website
See Also:


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

Agda is a dependently typed functional programming language.

Subcategories

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

@

Retrieved from "https://rosettacode.org/wiki/Category:Agda?oldid=166579"