Language Agda
DateUserChanges
2009-12-27 08:07:27 Nickolas Changed text and paradigms. Changed commenting_nestable for Syntax "Agda".
2009-11-24 22:40:06 porges New article.
1