name analysis stratego editor prefers global strategy over local strategy variabele
foo = fail
bar(foo) = <foo> [ ]is analyzed as:
Submitted by Maartje on 10 June 2011 at 00:54
foo{1} = fail
bar(foo{2}) = <foo{1}> [ ]
Issue Log
On 14 June 2011 at 12:49 Lennart Kats tagged stratego
On 21 July 2011 at 21:31 Maartje closed this issue.
On 22 July 2011 at 11:27 Maartje commented:
solved.
Log in to post comments