_draft
chekc; monad defintion bound/free/named variables in loop descriptions
I had a stupid idea that’s working out so well I love it.1 I’m trying to translate JVM bytecode into a tree. This won’t always work but for most (or all of my) side-effect-free cases; it should be fine.2 Okay … so how does one (such as I) do that?
Well … the bytecode encodes a series of operations against “the stack” and “the local variables” - hereafter stack and store.