Ricky Elrod
|
5037dd5add
|
Add Idris.
This adds Idris into the mix and uses the text-only parser for now, pending
upstream merging this patch in:
https://bitbucket.org/birkenfeld/pygments-main/pull-request/210/idris-lexer-added-lexer-for-idris/diff
Once that gets merged in, the lexer should change to idris.
|
2013-11-01 04:52:35 -04:00 |
|