diff options
| author | raichoo <raichoo@googlemail.com> | 2013-06-05 21:32:08 +0200 |
|---|---|---|
| committer | raichoo <raichoo@googlemail.com> | 2013-06-05 21:32:08 +0200 |
| commit | 5a0f3745fc46db4bee8b6113167ef625708f1c42 (patch) | |
| tree | a0d7c04d5c9833571314c785abdedf2204241045 /pygments/lexers/_mapping.py | |
| parent | 1ea0fa53d253eae501f0a48611dd01493240b34d (diff) | |
| download | pygments-5a0f3745fc46db4bee8b6113167ef625708f1c42.tar.gz | |
Idris lexer: added lexer for Idris
Diffstat (limited to 'pygments/lexers/_mapping.py')
| -rw-r--r-- | pygments/lexers/_mapping.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pygments/lexers/_mapping.py b/pygments/lexers/_mapping.py index 969bdba5..481ec1d4 100644 --- a/pygments/lexers/_mapping.py +++ b/pygments/lexers/_mapping.py @@ -137,6 +137,7 @@ LEXERS = { 'HxmlLexer': ('pygments.lexers.text', 'Hxml', ('haxeml', 'hxml'), ('*.hxml',), ()), 'HybrisLexer': ('pygments.lexers.other', 'Hybris', ('hybris', 'hy'), ('*.hy', '*.hyb'), ('text/x-hybris', 'application/x-hybris')), 'IDLLexer': ('pygments.lexers.math', 'IDL', ('idl',), ('*.pro',), ('text/idl',)), + 'IdrisLexer': ('pygments.lexers.functional', 'Idris', ('idris', 'idr'), ('*.idr',), ('text/x-idris',)), 'IgorLexer': ('pygments.lexers.math', 'Igor', ('igor', 'igorpro'), ('*.ipf',), ('text/ipf',)), 'IniLexer': ('pygments.lexers.text', 'INI', ('ini', 'cfg', 'dosini'), ('*.ini', '*.cfg'), ('text/x-ini',)), 'IoLexer': ('pygments.lexers.agile', 'Io', ('io',), ('*.io',), ('text/x-iosrc',)), |