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 (80)
x86_64-redoxx86_64-windowspowerpcle-nonewasm64-wasix86_64-netbsdmicroblazeel-nonerx-nonemipsel-linux
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