Версия agda 2.2.6
1
| Дата | Пользователь | Изменения |
|---|---|---|
| Дек. 24, 2010, 5:38 п.п. | Nickolas | Новая статья. |
