--- 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]:,%