Example programs seem to be scattered between this repo, https://github.com/GillianPlatform/gillian-vscode, etc. Perhaps we should combine them into a separate repo and reference via submodule.
Example programs seem to be scattered between this repo, https://github.com/GillianPlatform/gillian-vscode, etc.
Perhaps we should combine them into a separate repo and reference via submodule.