diff options
| author | Tim Baumann <tim@timbaumann.info> | 2013-05-19 04:00:35 +0200 |
|---|---|---|
| committer | Tim Baumann <tim@timbaumann.info> | 2013-05-19 04:00:35 +0200 |
| commit | bc00600db992c277770fd3651e8a49aca4b58303 (patch) | |
| tree | 1130af516496c99b9aae5decf9dfa5258794b918 /pygments/lexers/_mapping.py | |
| parent | f91963a6ffd4d17e338e1d4ee3b9171889fc45b0 (diff) | |
| download | pygments-bc00600db992c277770fd3651e8a49aca4b58303.tar.gz | |
Add support for Literate Agda (factoring out some helper functions
from the Literate Haskell implementation)
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 b29d8262..9fd8f713 100644 --- a/pygments/lexers/_mapping.py +++ b/pygments/lexers/_mapping.py @@ -162,6 +162,7 @@ LEXERS = { 'LassoLexer': ('pygments.lexers.web', 'Lasso', ('lasso', 'lassoscript'), ('*.lasso', '*.lasso[89]'), ('text/x-lasso',)), 'LassoXmlLexer': ('pygments.lexers.templates', 'XML+Lasso', ('xml+lasso',), (), ('application/xml+lasso',)), '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'), ('*.lhs',), ('text/x-literate-haskell',)), 'LiveScriptLexer': ('pygments.lexers.web', 'LiveScript', ('live-script', 'livescript'), ('*.ls',), ('text/livescript',)), 'LlvmLexer': ('pygments.lexers.asm', 'LLVM', ('llvm',), ('*.ll',), ('text/x-llvm',)), |