Please enable JavaScript in your browser!
Головна сторінка
Огляд
Довідка
Увійти
caryoscelus
/
agda
Слідкувати
1
Зірка
0
Відгалуження
0
Файли
Проблеми
0
Запити на злиття
0
Wiki
Гілка:
js_amd_patch
Гілки
Теги
js_amd
js_amd_patch
working
agda
/
examples
/
malformed
Nils Anders Danielsson
0dd4207b78
Made the loading of interfaces more robust. This fixes issue 181.
15 роки тому
..
Empty.agda
0dd4207b78
Made the loading of interfaces more robust. This fixes issue 181.
15 роки тому