Skip to content

codemirror-agda 0.2.0 Latest

CodeMirror extension for editing Agda

Install from the command line:
Learn more about npm packages
$ npm install @codewars/codemirror-agda@0.2.0
Install via package.json:
"@codewars/codemirror-agda": "0.2.0"

Recent Versions

  • 0.2.0
    Latest
    Published almost 4 years ago
    0
  • 0.1.0
    Published over 4 years ago
    0
View all versions

Loading

Details

Last published

almost 4 years ago

Issues

2

Total downloads

0

Contributors 3

  •  
  •  
  •