loda-cpp
loda-cpp copied to clipboard
Support `prg` in fold/unfold commands
Currently, program (un)folding works only using the seq operation. Would be great to also support prg here. This should include the auto-fold command.