Hi,
I am trying to learn about evless programming. According to Richard
Fateman one should
replace evaluation by substitution and simplification since the effect
of the latter steps is deterministic.
Unfortunately I seem to be running into a little problem. subst appears
not to remove the simp flag from an expression.
So subsequent simplificiation steps do nothing.
So how does one remove the simp flag?
Michel