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)
riscv32-linuxx86_64-darwinmipsel-linuxi686-cygwinaarch64-linuxx86_64-freebsdloongarch64-linuxpowerpc64le-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