agdaPackages.agdarsec
agdarsec 0.5.0-unstable-2025-08-05
Total Parser Combinators in Agda
https://gallais.github.io/agdarsec/GNU General Public License v3.0
programs: -
Maintainers
Platforms (46)
loongarch64-linuxmips64-linuxi686-cygwinriscv64-netbsdmicroblazeel-linuxmips-linuxm68k-netbsdsh4-linux
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.agdarsec ];
Ad-hoc shell
nix-shell -p agdaPackages.agdarsec
Flake (nix run)
nix run nixpkgs#agdaPackages.agdarsec