Highlight Literate Agda Source Code - Pi7 Highlighter

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

Copy the Literate Agda source code in the text box on the left, select Literate Agda 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.


Paste Literate Agda Source Code Here

How To Highlight Literate Agda Code?