Почетна Преглед Помоћ
Пријавите се
caryoscelus
/
agda
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Грана: js_amd_patch
Гране Ознаке
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 година