Language Agda
1
| Date | User | Changes |
|---|---|---|
| Dec. 24, 2010, 5:15 p.m. | Nickolas | Changed text and appeared_date. |
| Dec. 24, 2010, 6:47 a.m. | Nickolas | Changed text and links. Changed commenting_until_end_of_line for Syntax "Agda". |
| Dec. 27, 2009, 8:07 a.m. | Nickolas | Changed text and paradigms. Changed commenting_nestable for Syntax "Agda". |
| Nov. 24, 2009, 10:40 p.m. | porges | New article. |