diff options
Diffstat (limited to 'pygments/lexers/haskell.py')
| -rw-r--r-- | pygments/lexers/haskell.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pygments/lexers/haskell.py b/pygments/lexers/haskell.py index edc506cf..72e2cceb 100644 --- a/pygments/lexers/haskell.py +++ b/pygments/lexers/haskell.py @@ -198,6 +198,7 @@ class IdrisLexer(RegexLexer): 'if', 'in', 'infix[lr]?', 'instance', 'rewrite', 'auto', 'namespace', 'codata', 'mutual', 'private', 'public', 'abstract', 'total', 'partial', + 'interface', 'implementation', 'export', 'covering', 'constructor', 'let', 'proof', 'of', 'then', 'static', 'where', '_', 'with', 'pattern', 'term', 'syntax', 'prefix', 'postulate', 'parameters', 'record', 'dsl', 'impossible', 'implicit', |