Commit ba7cf95f authored by Robbert Krebbers's avatar Robbert Krebbers

Use pair syntax in par implementation.

parent a7d741f6
......@@ -9,7 +9,7 @@ Definition par : val :=
let: "handle" := spawn (Fst "fs") in
let: "v2" := Snd "fs" #() in
let: "v1" := join "handle" in
Pair "v1" "v2".
("v1", "v2").
Notation "e1 || e2" := (par (Pair (λ: <>, e1) (λ: <>, e2)))%E : expr_scope.
Global Opaque par.
......
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