oops

spec.md

@@ -72,7 +72,7 @@ type DbUser = { name: List[Char], pass: List[Char] }
 
 def example(u: User) : DbUser {
   u with pass: "1234"
-  (* has type { name: List[Char], pass: List[Char] } *)
+  # has type { name: List[Char], pass: List[Char] }
 }
 
 def example2() : {name: List[Char], pass: List[Char]} {