Have you considered passing values to the right? For example: ### valid: a <: 10; a <: 3 + 5; a <: a = b; ### idea: 10 :> a; 3 + 5 :> a; a = b :> b;
Have you considered passing values to the right?
For example:
valid:
a <: 10;
a <: 3 + 5;
a <: a = b;
idea:
10 :> a;
3 + 5 :> a;
a = b :> b;