@codewars/codemirror-agda (npm): CodeMirror extension for editing Agda
Keywords: agda|codemirror