Version agda 1.0.2
1
| Date | User | Changes |
|---|---|---|
| Dec. 24, 2010, 5:23 p.m. | Nickolas | Changed name. |
| Dec. 24, 2010, 7:23 a.m. | Nickolas | New article. |