kmx git
login
register
kmx.io
/
prism.js
/
components/prism-agda.min.js
components/prism-agda.min.js
Log
Author
Commit
Date
CI
Message
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)