Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd
Branches Tags
agda
/
examples
/
malformed
Nils Anders Danielsson 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181. 15 years ago
..
Empty.agda 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181. 15 years ago