# Development Environment

To enter the developer shell, run:

```console
nix develop
```

To automatically enter the developer shell upon entering the project directory
with [`direnv`](https://direnv.net), run:

```console
direnv allow
```