agdaPackages.agda
agdaWithPackages 2.8.0
A dependently typed functional programming language and proof assistant
https://hackage.haskell.org/package/AgdaMIT License
main program: agdaprograms: -
Maintainers
Platforms (80)
i686-freebsdx86_64-freebsdriscv64-linuxmipsel-netbsdrx-nonei686-openbsdloongarch64-linuxaarch64-freebsd
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.agda ];
Ad-hoc shell
nix-shell -p agdaPackages.agda
Flake (nix run)
nix run nixpkgs#agdaPackages.agda