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




