Author here, Tail calls can be implemented in MiniVM bytecode. There was once an instruction that performed a tail call, It bit-rotted due to not being used. M

Author here, Tail calls can be implemented in MiniVM bytecode. There was once an instruction that performed a tail call, It bit-rotted due to not being used. MiniVM is moving very quickly currently. A lot still needs to be done, like JIT and optimizers. Eventually a formal specification of MiniVM should happen, just not yet as things are changing too fast.