Commit c1a30d7f authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Fix typo

parent f542da48
......@@ -558,7 +558,7 @@ we are going to make EITHER
EITHER (A) v = e (where v is fresh)
x = case v of p -> x
y = case v of p -> x
y = case v of p -> y
OR (B) t = case e of p -> (x,y)
x = case t of (x,_) -> x
......
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