They're sets of worlds AND they're CCPs... Understand, or is too tough for you?
[lambda.git] / exercises / assignment5_hint2.mdwn
1 What does
2
3     let x = (fun () -> 2) in
4     let y = (fun () -> 3) in
5     match true with true -> x | false -> y
6
7 evaluate to?