Hello !
In the case the expression is call f(f(v)) with function f(a) = a+1, the initial environment is {(v,1)} # v=1
the in NewEnv we'll have {(v,1), (a,1) #cause the last arg a=v, (a,2)#then arg a=f(a)}
Wouldn't that cause a problem ?
Thank you
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information