On 16/08/2018 2:58 AM, Everlast wrote:
The notation may seem a little funky but it is perfectly valid since this is as simple rewrite rule(direct isomorphic correspondence law).
Except there is one little problem with it.It already exists. Its called AssignExpression but it does not not declare said variable. It's from C. Personally I'm of the opinion that it can go to the nether and have a swim.