- Category
- Discussion
- Edit
- History

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)

Category:Agda2

From Rosetta Code

Jump to:navigation, search

Agda2
This programming language may be used to instruct a computer to perform a task.

See Also:

Agda2 on the HOPL

Listed below are all of the tasks on Rosetta Code which have been solved using Agda2.

Your Help Needed
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.

This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

Subcategories

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

@

Retrieved from "http://www.rosettacode.org/mw/index.php?title=Category:Agda2&oldid=13555"