Commit def619ad authored by Dan Frumin's avatar Dan Frumin

Fix `a_sequence`

parent 08039edc
......@@ -39,7 +39,7 @@ Definition a_seq : val := λ: <>,
a_atomic_env (λ: "env", mset_clear "env").
Definition a_sequence : val := λ: "e1" "e2",
a_bind (λ: <>, a_bind (λ: <>, "e2") a_seq) "e1".
a_bind (λ: <>, a_bind (λ: <>, "e2") (a_seq #())) "e1".
Definition a_if : val := λ: "cnd" "e1" "e2",
a_bind (λ: "c", if: "c" then "e1" else "e2") "cnd".
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