Releases: codewars/codemirror-agda
Releases · codewars/codemirror-agda
v0.2.0
- Use TypeScript
- BREAKING Provide a function to define mode instead
- BREAKING Provide an array of pairs to use with
@codewars/codemirror-unicode-helper
v0.0.3
- Uncomment ceiling and floor symbols (#6)
v0.0.2
- Remove
CodeMirror.defineInitHook
to avoid interfering with other modes (#3)
- Add few keywords (#2, #4)