Please enable JavaScript in your browser!
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
js_amd
js_amd_patch
working
agda
/
examples
/
relocatable
Nils Anders Danielsson
00a9116a9a
File names are no longer stored in interface files.
15 years ago
..
originals
00a9116a9a
File names are no longer stored in interface files.
15 years ago
Nils Anders Danielsson
00a9116a9a
File names are no longer stored in interface files.