I'm working on modernizing Rosetta Code's infrastructure. Starting with communications. Please accept this time-limited open invite to RC's Slack.. --Michael Mol (talk) 20:59, 30 May 2020 (UTC)


From Rosetta Code
(Redirected from 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.
Your Help Needed
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.
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.


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