IdrisLexer (reference) in projects: dports

Searched refs:IdrisLexer (Results 1 – 8 of 8) sorted by relevance

/dports/textproc/py-pygments/Pygments-2.7.2/tests/
H A D	test_idris.py	`13 from pygments.lexers import IdrisLexer 18 yield IdrisLexer()`
/dports/net-p2p/bazarr/bazarr-1.0.2/libs/pygments/lexers/
H A D	haskell.py	`183 class IdrisLexer(RegexLexer): class 606 hslexer = IdrisLexer(**options)`
/dports/textproc/py-pygments-25/Pygments-2.5.2/pygments/lexers/
H A D	haskell.py	`183 class IdrisLexer(RegexLexer): class 606 hslexer = IdrisLexer(**options)`
/dports/textproc/py-pygments/Pygments-2.7.2/pygments/lexers/
H A D	haskell.py	`184 class IdrisLexer(RegexLexer): class 607 hslexer = IdrisLexer(**options)`
/dports/net/google-cloud-sdk/google-cloud-sdk/lib/third_party/pygments/lexers/
H A D	haskell.py	`157 class IdrisLexer(RegexLexer): class 580 hslexer = IdrisLexer(**options)`
/dports/www/moinmoin/moin-1.9.11/MoinMoin/support/pygments/lexers/
H A D	haskell.py	`183 class IdrisLexer(RegexLexer): class 606 hslexer = IdrisLexer(**options)`
/dports/textproc/py-pygments/Pygments-2.7.2/build/lib/pygments/lexers/
H A D	haskell.py	`184 class IdrisLexer(RegexLexer): class 607 hslexer = IdrisLexer(**options)`
/dports/textproc/py-pygments/stage/usr/local/lib/python3.8/site-packages/pygments/lexers/
H A D	haskell.py	`184 class IdrisLexer(RegexLexer): class 607 hslexer = IdrisLexer(**options)`