Category:Agda2 examples needing attention

From Rosetta Code
Revision as of 02:11, 3 December 2009 by MikeMol (talk | contribs) (enacat_body)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

These Agda2 examples need attention. They may be incorrect, poorly-written or in some other way unsatisfactory in their current state on their current page. If you know Agda2, take a look at them and see if there's something you can do. The people best suited for ensuring the quality of Agda2 examples on Rosetta Code are the people who know the language. If that's you, we'd appreciate it if you would lend a hand.

This category currently contains no pages or media.