SSH-36: Possible bug in Var/1 congruence
Submitted on 23 February 2005 at 12:06
Var(id) is not a strategy, even if it is defined as a constructor.
Log in to post comments
Submitted on 23 February 2005 at 12:06
Var(id) is not a strategy, even if it is defined as a constructor.
Log in to post comments