codemirror-agda 0.1.0
Install from the command line:
Learn more about npm packages
$ npm install @codewars/codemirror-agda@0.1.0
Install via package.json:
"@codewars/codemirror-agda": "0.1.0"
About this version
No description available
This package version was published
Details
- codemirror-agda
-
codewars
- over 5 years ago
- MIT
- 3 dependencies
Assets
- codemirror-agda-0.1.0-npm.tgz
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0