agda-libjs CDN files
- agda-libjs@0.0.1
| js-experiment | |
| lib | |
| agda-libjs.agda | 228 B |
| example-proc.coffee | 357 B |
| example1.agda | 5.02 KB |
| libagda.coffee | 3.97 KB |
| LICENSE | 1.45 KB |
| package.coffee | 818 B |
| package.json | 952 B |
| proc.coffee | 7.82 KB |
| README.md | 635 B |
| run.coffee | 115 B |
| run.sh | 699 B |
Free Open Source CDN for agda-libjs
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/agda-libjs