Open Charles-Johnson opened 3 years ago
If a mutation expression is successful, the expression should reduce to the "okay" concept
i.e. let a -> b should reduce to okay unless there is an error e.g. if b -> a, let a -> b would make a cycle in the reduction graph
let a -> b
okay
b -> a
If a mutation expression is successful, the expression should reduce to the "okay" concept
i.e.
let a -> bshould reduce tookayunless there is an error e.g. ifb -> a,let a -> bwould make a cycle in the reduction graph