Merge branch '925-2' into 'master'
925 2 See merge request !6
Showing
- configuration.nix 60 additions, 2 deletionsconfiguration.nix
- flake.lock 95 additions, 53 deletionsflake.lock
- flake.nix 19 additions, 10 deletionsflake.nix
- horizon.dhall 10 additions, 54 deletionshorizon.dhall
- horizon.lock 57 additions, 153 deletionshorizon.lock
- overlay.nix 7 additions, 55 deletionsoverlay.nix
- pkgs/algebraic-graphs.nix 29 additions, 0 deletionspkgs/algebraic-graphs.nix
- pkgs/monoidal-containers.nix 26 additions, 0 deletionspkgs/monoidal-containers.nix
- pkgs/plutus-core.nix 40 additions, 39 deletionspkgs/plutus-core.nix
- pkgs/plutus-ledger-api.nix 8 additions, 9 deletionspkgs/plutus-ledger-api.nix
- pkgs/plutus-tx-plugin.nix 42 additions, 0 deletionspkgs/plutus-tx-plugin.nix
- pkgs/plutus-tx.nix 7 additions, 7 deletionspkgs/plutus-tx.nix
- pkgs/prettyprinter-configurable.nix 7 additions, 7 deletionspkgs/prettyprinter-configurable.nix
- pkgs/quickcheck-transformer.nix 21 additions, 0 deletionspkgs/quickcheck-transformer.nix
- pkgs/word-array.nix 5 additions, 7 deletionspkgs/word-array.nix
Please register or sign in to comment