A quick and dirty developer environment to hack with Idris2.
Nix installed with flakes enabled. You can follow this guide, noting that step 2 is specific for system-wide installation, which is recommended anyway.
In the cloned directory,
nix run -- .
Then work in the current directory.