GitHub repository: Codewars/codemirror-agda
Primary language: JavaScript
Created: 2019-03-14T02:46:59Z
Description: Agda mode and input helper for CodeMirror used on Codewars