langs.sty
changeset 591 863e502f6a5c
parent 588 a4646557016d
child 607 3f4fc76dab2f
--- a/langs.sty	Thu Oct 25 18:36:04 2018 +0100
+++ b/langs.sty	Fri Oct 26 13:28:33 2018 +0100
@@ -20,7 +20,8 @@
     private,protected,requires,return,sealed,%
     super,this,throw,trait,true,try,%
     type,val,var,while,with,yield,write,read,lazy},%
-  otherkeywords={=>,<-,<\%,<:,>:,\#,==>},%
+  literate={==>}{{\mbox{\color{codepurple}{\textbf{\texttt{==>}}}}}}2,%
+  otherkeywords={=>,<-,<\%,<:,>:,\#},%
   sensitive=true,%
   %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},%
   %moredelim=*[directive]:,%