agda.nix

templates

This flake provides a simple template to initialize an Agda project using agda.nix.

To get the template run:

nix flake init --template github:input-output-hk/agda.nix#simple

overlays

This flake provides overlays that add the following Agda libraries to the agdaPackages set of nixpkgs:

• overlays.standard-library-classes: standard-library-classes.
• overlays.standard-library-meta: standard-library-meta.
• overlays.abstract-set-theory: abstract-set-theory.
• overlays.iog-prelude: iog-prelude.
• overlays.default: all of the above.