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 (45)
armv6l-netbsdriscv32-netbsdmips-linuxaarch64-freebsdarc-linuxloongarch64-linuxm68k-linuxsh4-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