Language Agda
1
| Date | User | Changes |
|---|---|---|
| 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. |