kmx.io/prism.js/components/prism-idris.js

---

components/prism-idris.js

---

Log

Author	Commit	Date	CI	Message
	e9314415	2021-02-23T20:44:32		Added support for Idris (#2755)