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-mode, agda
Maintainers
Platforms (79)
aarch64_be-noneriscv32-netbsdloongarch64-linuxx86_64-freebsdarmv7a-netbsdi686-genodei686-netbsdmsp430-none
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