Category:Agda2 Implementations: Difference between revisions
Content added Content deleted
(New page: {{SUBST:PAGENAME}}) |
Underscore (talk | contribs) (Replaced with "{{implementation cat|Agda2}}".) |
||
Line 1:
{{implementation cat|Agda2}}
|
Latest revision as of 11:18, 15 March 2010
These are all of the implementations of Agda2 on Rosetta Code.