Re: Curious oddity

[fl <freder...@xxxxxxxxxxx>]

what do you think of that:

  x = y => [] x = y

Excuse-me Stephan Merz had already answered:

> A => next A  if A is rigid (i.e., does not contain any state variable)

> [We can replace next by []) 

What does a "state variable" mean?

-- 

FL