agdaPackages.generics
generics 1.0.1
Library for datatype-generic programming in Agda
https://github.com/flupe/genericsMIT License
programs: -
Maintainers
Platforms (45)
aarch64-freebsdarmv7l-linuxaarch64-linuxarmv6l-linuxmipsel-linuxx86_64-solarism68k-netbsdpowerpc64-linux
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