Category:Agda User

From Rosetta Code
Revision as of 20:05, 3 December 2010 by rosettacode>UnderBot (Created page with "{{langgroup|Agda}}")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This is a list of users on Rosetta Code who say they can use Agda with any level of proficiency.

Pages in category "Agda User"

This category contains only the following page.

R

Retrieved from "https://rosettacode.org/wiki/Category:Agda_User?oldid=166580"