agdaPackages.generics
generics 1.0.1
Library for datatype-generic programming in Agda
https://github.com/flupe/genericsMIT License
programs: -
Maintainers
Platforms (46)
i686-netbsdi686-linuxmips64el-linuxmicroblazeel-linuxmips64-linuxarmv5tel-linuxriscv64-linuxx86_64-solaris
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