Giters

googlearchive / code-prettify

An embeddable script that makes source-code snippets in HTML prettier.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add support for Idris

juanmeleiro opened this issue · comments

commented

Please considere adding support to Idris.