Category:Agda2 User: Difference between revisions
Content added Content deleted
m (Created page with '{{langgroup|Agda2}}') |
(No difference)
|
Latest revision as of 13:28, 14 March 2010
This is a list of users on Rosetta Code who say they can use Agda2 with any level of proficiency.
This category currently contains no pages or media.