kmx git
login
register
kmx.io
/
prism.js
/
tests/languages/agda/data_feature.test
tests/languages/agda/data_feature.test
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)