Merge branch 'update' into 'master'
Modernise with develop/ flake and update horizon-platform See merge request !1
Showing
- README.md 43 additions, 43 deletionsREADME.md
- develop/flake.lock 1352 additions, 0 deletionsdevelop/flake.lock
- develop/flake.nix 96 additions, 0 deletionsdevelop/flake.nix
- feedback.yaml 10 additions, 0 deletionsfeedback.yaml
- flake.lock 137 additions, 80 deletionsflake.lock
- flake.nix 35 additions, 54 deletionsflake.nix
- horizon.dhall 5 additions, 22 deletionshorizon.dhall
- horizon.lock 9 additions, 13 deletionshorizon.lock
- overlay.nix 0 additions, 2 deletionsoverlay.nix
- pkgs/arrows.nix 1 addition, 1 deletionpkgs/arrows.nix
- pkgs/clash-ghc.nix 9 additions, 15 deletionspkgs/clash-ghc.nix
- pkgs/clash-lib.nix 25 additions, 30 deletionspkgs/clash-lib.nix
- pkgs/clash-prelude.nix 11 additions, 16 deletionspkgs/clash-prelude.nix
- pkgs/concurrent-supply.nix 3 additions, 3 deletionspkgs/concurrent-supply.nix
- pkgs/ghc-typelits-extra.nix 1 addition, 1 deletionpkgs/ghc-typelits-extra.nix
- pkgs/implicit.nix 1 addition, 1 deletionpkgs/implicit.nix
- pkgs/infinite-list.nix 1 addition, 1 deletionpkgs/infinite-list.nix
- pkgs/prettyprinter-interp.nix 3 additions, 1 deletionpkgs/prettyprinter-interp.nix
Please register or sign in to comment