Sākums Izpētīt Palīdzība
Pierakstīties
caryoscelus
/
agda
Vērot 1
Pievienot zvaigznīti 0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Atzars: js_amd_patch
Atzari Tagi
agda
/
examples
/
malformed
Nils Anders Danielsson 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181. 15 gadi atpakaļ
..
Empty.agda 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181. 15 gadi atpakaļ