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)
x86_64-nonex86_64-uefish4-linuxmips-linuxm68k-linuxarmv7l-netbsdmips64el-linuxjavascript-ghcjs
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