npmjs.org : @codewars/codemirror-agda
CodeMirror extension for editing Agda
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/%40codewars/codemirror-agda
Keywords:
agda
, codemirror
License: MIT
Latest release: over 4 years ago
First release: over 5 years ago
Namespace: codewars
Dependent packages: 1
Downloads: 63 last month
Stars: 6 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 14 days ago
Loading...
Readme
Loading...