These are all of the implementations of Agda on Rosetta Code.
This category has only the following subcategory.