agdaPackages.cubical-mini
cubical-mini 0.5-unstable-2025-06-13
Nonstandard library for Cubical Agda
https://github.com/cmcmA20/cubical-miniGNU Affero General Public License v3.0 only
programs: -
Maintainers
Platforms (45)
riscv32-netbsdx86_64-openbsdx86_64-linuxx86_64-freebsdmipsel-linuxarmv7l-netbsdarmv6l-netbsdpowerpc-netbsd
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.cubical-mini ];
Ad-hoc shell
nix-shell -p agdaPackages.cubical-mini
Flake (nix run)
nix run nixpkgs#agdaPackages.cubical-mini