Skip to content

Releases: codewars/codemirror-agda

Release list

v0.2.0

v0.2.0 Latest
Latest

Choose a tag to compare

View all tags
@kazk kazk released this 14 Mar 23:13
v0.2.0
3802566
  • Use TypeScript
  • BREAKING Provide a function to define mode instead
  • BREAKING Provide an array of pairs to use with @codewars/codemirror-unicode-helper
Assets 2
Loading

v0.1.0

v0.1.0

Choose a tag to compare

View all tags
@kazk kazk released this 30 Apr 01:09
v0.1.0
285a4fc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • Publish package
Loading

v0.0.3

v0.0.3

Choose a tag to compare

View all tags
@kazk kazk released this 21 Mar 03:37
v0.0.3
38877b8
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • Uncomment ceiling and floor symbols (#6)
Loading

v0.0.2

v0.0.2

Choose a tag to compare

View all tags
@kazk kazk released this 18 Mar 01:16
v0.0.2
97137d8
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • Remove CodeMirror.defineInitHook to avoid interfering with other modes (#3)
  • Add few keywords (#2, #4)
Loading

v0.0.1

v0.0.1

Choose a tag to compare

View all tags
@kazk kazk released this 16 Mar 03:52
v0.0.1
245b686

Initial release.

Loading