I guess the real question is: How best to return functions within this type system of mine?
I mean if I have a function already defined as meta-assembly, it's not especially difficult to partially apply (curry) values. You just go through the assembly and substitute the given "get variable"
1/2
add a skeleton here at some point
1 day ago