Головна сторінка Огляд Довідка
Увійти
caryoscelus
/
agda
Слідкувати 1
Зірка 0
Відгалуження 0
Файли Проблеми 0 Запити на злиття 0 Wiki
Гілка: js_amd
Гілки Теги
agda
/
doc
/
release-notes
/
2.6.1.1.md

2.6.1.1.md 124 B
Постійне посилання Історія Запис

Release notes for Agda version 2.6.1.1

  • Added support for GHC 8.8.4 and GHC 8.10.2