Category:Agda2 Implementations: Difference between revisions

Content added Content deleted

Inline

Latest revision as of 11:18, 15 March 2010

These are all of the implementations of Agda2 on Rosetta Code.

This category has only the following subcategory.

Revision as of 19:38, 1 December 2008 (view source) 71.29.168.99 (talk) (New page: {{SUBST:PAGENAME}})		Latest revision as of 11:18, 15 March 2010 (view source) Underscore (talk \| contribs) (Replaced with "{{implementation cat\|Agda2}}".)
Line 1:		Line 1:
			{{implementation cat\|Agda2}}
	Agda2 Implementations