diff options
| author | raichoo <raichoo@googlemail.com> | 2013-06-15 02:16:01 +0200 |
|---|---|---|
| committer | raichoo <raichoo@googlemail.com> | 2013-06-15 02:16:01 +0200 |
| commit | d84d7e46cd2723fff1d8b41c28c5f5845b1491d2 (patch) | |
| tree | 031bf02f50d3e9baefd29f541fc06242d3411926 /pygments/lexers/_mapping.py | |
| parent | 5a0f3745fc46db4bee8b6113167ef625708f1c42 (diff) | |
| download | pygments-d84d7e46cd2723fff1d8b41c28c5f5845b1491d2.tar.gz | |
Idris lexer: added lexer for literate 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 481ec1d4..1cb87726 100644 --- a/pygments/lexers/_mapping.py +++ b/pygments/lexers/_mapping.py @@ -167,6 +167,7 @@ LEXERS = { 'LighttpdConfLexer': ('pygments.lexers.text', 'Lighttpd configuration file', ('lighty', 'lighttpd'), (), ('text/x-lighttpd-conf',)), 'LiterateAgdaLexer': ('pygments.lexers.functional', 'Literate Agda', ('lagda', 'literate-agda'), ('*.lagda',), ('text/x-literate-agda',)), 'LiterateHaskellLexer': ('pygments.lexers.functional', 'Literate Haskell', ('lhs', 'literate-haskell', 'lhaskell'), ('*.lhs',), ('text/x-literate-haskell',)), + 'LiterateIdrisLexer': ('pygments.lexers.functional', 'Literate Idris', ('lidr', 'literate-idris', 'lidris'), ('*.lidr',), ('text/x-literate-idris',)), 'LiveScriptLexer': ('pygments.lexers.web', 'LiveScript', ('live-script', 'livescript'), ('*.ls',), ('text/livescript',)), 'LlvmLexer': ('pygments.lexers.asm', 'LLVM', ('llvm',), ('*.ll',), ('text/x-llvm',)), 'LogosLexer': ('pygments.lexers.compiled', 'Logos', ('logos',), ('*.x', '*.xi', '*.xm', '*.xmi'), ('text/x-logos',)), |