Open riastradh-probcomp opened 7 years ago
It is silly that we currently have to do define x = run(action). (It is silly that run exists at all.)
define x = run(action)
run
It is silly that we currently have to do
define x = run(action). (It is silly thatrunexists at all.)