Головна сторінка Огляд Довідка
Увійти
caryoscelus
/
agda
Слідкувати 1
Зірка 0
Відгалуження 0
Файли Проблеми 0 Запити на злиття 0 Wiki
Гілка: js_amd_patch
Гілки Теги
agda
/
doc
caryoscelus ce9b406819 [ #5793 ] JS backend: allow choosing CJS or AMD module style 2 роки тому
..
HCAR c6423f0872 correct my name 5 роки тому
license-report 4cb5321075 [ doc ] Fix a cabal option mistake for license-report 3 роки тому
release-notes d8b06a90ee Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md 3 роки тому
user-manual ce9b406819 [ #5793 ] JS backend: allow choosing CJS or AMD module style 2 роки тому