To run:
```
nix develop
chmod +x build-run.sh
./build-run.sh
```