diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-07 15:08:44 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-07 15:08:44 +0100 |
| commit | 468852215a59d502dc156346df97f2d2f902203b (patch) | |
| tree | fb21591329194c7049d9d35ab1b34fb83ed1e99c /lexer.py | |
| parent | d11250e5e1c6c812811613ab046e5afcc42fb38b (diff) | |
Add keywords for unions
Diffstat (limited to 'lexer.py')
| -rw-r--r-- | lexer.py | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -11,12 +11,13 @@ class SystemTLexer(OcamlLexer): EXTRA_KEYWORDS = [ 'arb', - 'arb)', 'fold', 'foldmatch', + 'inj', 'map', 'max', 'primrec', + 'prj', 'roll', 'roll2', ] |