dependent-sum: init at 0.7.2.0
Showing
- horizon.dhall 2 additions, 0 deletionshorizon.dhall
- horizon.lock 8 additions, 0 deletionshorizon.lock
- overlay.nix 4 additions, 0 deletionsoverlay.nix
- pkgs/constraints-extras.nix 24 additions, 0 deletionspkgs/constraints-extras.nix
- pkgs/dependent-sum.nix 23 additions, 0 deletionspkgs/dependent-sum.nix
Please register or sign in to comment