Головна сторінка Огляд Довідка
Увійти
caryoscelus
/
agda
Слідкувати 1
Зірка 0
Відгалуження 0
Файли Проблеми 0 Запити на злиття 0 Wiki
Гілка: js_amd
Гілки Теги
agda
/
test
/
Internal
/
Syntax
/
Concrete
Andreas Abel abef20b0ff base-4.16 compatibility: add to `List1.{pre/ap}pend` suffix `List` 3 роки тому
..
Name.hs abef20b0ff base-4.16 compatibility: add to `List1.{pre/ap}pend` suffix `List` 3 роки тому