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

---

components/prism-idris.min.js

Branch - branch -master

---

Log

Author	Commit	Date	CI	Message
	15cb3b78	2021-10-05T21:19:53		Idris: Fixed import statements (#3115)
	e8d3b503	2021-06-27T14:56:07		ESLint: Added `regexp/strict` rule (#2944)
	e9314415	2021-02-23T20:44:32		Added support for Idris (#2755)