agdaPackages.cubical
cubical 0.9
Cubical type theory library for use with the Agda compiler
https://github.com/agda/cubicalMIT License
programs: -
Maintainers
Platforms (45)
arc-linuxx86_64-openbsdm68k-linuxarmv7l-linuxarmv6l-linuxaarch64-linuxx86_64-cygwinarmv6l-netbsd
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.cubical ];
Ad-hoc shell
nix-shell -p agdaPackages.cubical
Flake (nix run)
nix run nixpkgs#agdaPackages.cubical