Commit 1985582f authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Typo

parent 78909a16
......@@ -98,7 +98,7 @@ Examples
RomCell := [get:Nat]
PromCell := [get:Nat, set:Nat -> RomCell]
PrivateCell := [contents:Nat, get:Nat, set: Nat -> RomCell]
myCell : PromCell := [comtents=0, get=ç(s:PrivateCell)s.contents, set=ç(s:PrivateCell)λ(n:Nat)s.contents := n]
myCell : PromCell := [contents=0, get=ç(s:PrivateCell)s.contents, set=ç(s:PrivateCell)λ(n:Nat)s.contents := n]
CHECK myCell.set(3).get
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment