atom-linguist CDN files
- atom-linguist@0.1.0 /
- github-linguist /
- samples /
- Coq
| ... | |
| Basics.v | 13.81 KB |
| Heap.v | 9.13 KB |
| Imp.v | 33.41 KB |
| interval_discr.v | 10.06 KB |
| Lists.v | 12.5 KB |
| Permutation.v | 19.42 KB |
| PermutSetoid.v | 15.38 KB |
| Poly.v | 17.42 KB |
| Rel.v | 5.49 KB |
| Smallstep.v | 15.22 KB |
| Sorting.v | 49 B |
| Stlc.v | 14.76 KB |
Free Open Source CDN for atom-linguist
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/atom-linguist