agdaPackages.generics
generics 1.0.1
Library for datatype-generic programming in Agda
https://github.com/flupe/genericsMIT License
programs: -
Maintainers
Platforms (46)
riscv32-linuxx86_64-linuxpowerpc-netbsdi686-openbsdmips-linuxarmv6l-linuxarmv6l-netbsdarmv7a-netbsd
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.generics ];
Ad-hoc shell
nix-shell -p agdaPackages.generics
Flake (nix run)
nix run nixpkgs#agdaPackages.generics