dependent-sum-template: init at 0.1.1.1
Showing
- horizon.dhall 3 additions, 0 deletionshorizon.dhall
- horizon.lock 8 additions, 0 deletionshorizon.lock
- overlay.nix 4 additions, 0 deletionsoverlay.nix
- pkgs/dependent-sum-template.nix 26 additions, 0 deletionspkgs/dependent-sum-template.nix
- pkgs/th-extras.nix 25 additions, 0 deletionspkgs/th-extras.nix
Please register or sign in to comment