kmx git
login
register
kmx.io
/
prism.js
/
components/prism-agda.js
components/prism-agda.js
Branch
- branch -
master
Log
Author
Commit
Date
CI
Message
f471d2d7
2021-06-17T22:27:40
Fixed problems reported by `regexp/no-dupe-disjunctions` (#2952)
e644178b
2020-12-28T18:19:11
Added test for polynomial backtracking (#2597)
3a127c7d
2020-06-24T20:30:38
Add support for the language Agda (#2430)