Highlight Idris Source Code - Pi7 Highlighter

Highlight Idris code snippets into colorful format with Pi7 code Highlighter; which easily fits into blog posts, articles, websites, and more.

Copy the Idris source code in the text box on the left, select Idris as coding language and color style, and then click the "Highlight" button.The HTML code is generated in the text box on the right and you can paste it into your blog or article, no external CSS or Javascript files are required.








Preview:

Paste Idris Source Code Here

How To Highlight Idris Code?