Skip to content
Snippets Groups Projects
Commit 0bf811ba authored by Shayne Fletcher's avatar Shayne Fletcher :kiwi:
Browse files

Add ITproj to parser

parent 8241d9e7
No related branches found
No related tags found
No related merge requests found
...@@ -274,6 +274,7 @@ classify tok = ...@@ -274,6 +274,7 @@ classify tok =
ITprefixminus -> TkGlyph ITprefixminus -> TkGlyph
ITbang -> TkGlyph ITbang -> TkGlyph
ITdot -> TkOperator ITdot -> TkOperator
ITproj {} -> TkOperator
ITstar {} -> TkOperator ITstar {} -> TkOperator
ITtypeApp -> TkGlyph ITtypeApp -> TkGlyph
ITpercent -> TkGlyph ITpercent -> TkGlyph
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment