kmx.io/prism.js/tests/languages/agda

---

tests/languages/agda

---

Log

Author	Commit	Date	CI	Message
	99f3ddcd	2021-06-13T22:00:43		Tests: Automatically normalize line ends (#2934)
	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)