diff -r 0b5f06539a84 -r dc5ab66b11cc langs.sty --- a/langs.sty Mon Oct 02 23:10:56 2023 +0100 +++ b/langs.sty Tue Oct 03 14:29:12 2023 +0100 @@ -42,7 +42,7 @@ new,null,object,override,package,% private,protected,requires,return,sealed,% super,this,then,throw,trait,true,try,% - type,val,var,while,with,yield,write,read},% + type,using,val,var,while,with,yield,write,read},% literate={==>}{{\mbox{\color{codepurple}{\textbf{\texttt{==>}}}}}}2,% otherkeywords={=>,<-,<\%,<:,>:,\#},% sensitive=true,%