rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

make syntax cyan not blue

Browse source
This commit is contained in:
rhiannon morris 2022-04-11 14:09:48 +02:00
parent 00997dff13
commit 9088ec02a0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Quox/Pretty.idr
View file

@ -196,7 +196,7 @@ termHL DVar = color BrightGreen
termHL DVarErr = color BrightGreen <+> underline termHL DVarErr = color BrightGreen <+> underline
termHL Qty = color BrightMagenta <+> bold termHL Qty = color BrightMagenta <+> bold
termHL Free = color BrightWhite termHL Free = color BrightWhite
termHL Syntax = color BrightBlue termHL Syntax = color BrightCyan
export %inline export %inline
prettyTerm : {default True color, unicode : Bool} -> PrettyHL a => a -> IO Unit prettyTerm : {default True color, unicode : Bool} -> PrettyHL a => a -> IO Unit