diff -r 5ddedcd92d84 -r a4646557016d langs.sty --- a/langs.sty Wed Oct 24 20:37:37 2018 +0100 +++ b/langs.sty Thu Oct 25 00:50:58 2018 +0100 @@ -19,8 +19,8 @@ new,null,object,override,package,% private,protected,requires,return,sealed,% super,this,throw,trait,true,try,% - type,val,var,while,with,yield,write,read},% - otherkeywords={=>,<-,<\%,<:,>:,\#},% + type,val,var,while,with,yield,write,read,lazy},% + otherkeywords={=>,<-,<\%,<:,>:,\#,==>},% sensitive=true,% %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% %moredelim=*[directive]:,%