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