shape-memory allybecause this language doesn't have lambdas, and I'm using a relatively shallow grammar for it, substitution-based reduction of function application gets... interesting #operationalsemantics
@martensitingale so give me a couple minutes to write the relation for multiple substitution...
@martensitingale I may have painted myself into a corner such that I'm going to have to write a reduction relation that operates on the entire (top-level) program text, so I can pattern-match function bodies out of it rather than building an environment to hold them... this is not the kind of context-with-holes I would have liked #operationalsemantics #mistakes
@martensitingale ok so maybe I'll move to a different tool because I just fixed the #ocaml build error in the tool I *really* wanted to use