agda
agdaWithPackages 2.8.0
A dependently typed functional programming language and proof assistant
https://hackage.haskell.org/package/AgdaMIT License
main program: agdaprograms: agda, agda-mode
Maintainers
Platforms (80)
x86_64-solarisarc-linuxarmv6l-linuxloongarch64-linuxriscv64-nonearmv5tel-linuxx86_64-linuxi686-openbsd
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agda ];
Ad-hoc shell
nix-shell -p agda
Flake (nix run)
nix run nixpkgs#agda