### Running Tests

After making your changes, verify the test suite still passes. After following the steps in [Development Environment](#development-environment), run:
```
$ nix-shell
$ make check
```