kmx.io/prism.js/examples/prism-agda.html

---

examples/prism-agda.html

---

Log

Author	Commit	Date	CI	Message
	3a127c7d	2020-06-24T20:30:38		Add support for the language Agda (#2430)