kmx.io/prism.js/components/prism-agda.min.js

---

components/prism-agda.min.js

Branch - branch -master

---

Log

Author	Commit	Date	CI	Message
	11c54624	2022-03-22T22:32:52		Use terser (#3407)
	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)