- Jun 21, 2024
-
-
Daniel Firth authored
-
- Jun 18, 2024
-
-
Daniel Firth authored
Agda: 2.6.4.3 See merge request !146
-
Daniel Firth authored
-
- May 29, 2024
-
-
Daniel Firth authored
CI: add explicit cachix step See merge request !145
-
-
Daniel Firth authored
Switch nixpkgs to haskell-updates See merge request !144
-
Daniel Firth authored
-
- May 27, 2024
-
-
Daniel Firth authored
Improve README See merge request !143
-
Daniel Firth authored
-
Daniel Firth authored
re-enable recursion-schemes See merge request !142
-
Daniel Firth authored
-
Daniel Firth authored
Pipes See merge request !141
-
-
-
-
Daniel Firth authored
pipes: init at 4.3.16 See merge request !140
-
Daniel Firth authored
-
Daniel Firth authored
Preprocess against 9.10.1 See merge request !139
-
Daniel Firth authored
-
- May 26, 2024
-
-
Daniel Firth authored
horizon.lock: regenerate See merge request !138
-
Daniel Firth authored
-
Daniel Firth authored
develop/flake.nix: update horizon-develop-flake See merge request !137
-
Daniel Firth authored
-
Daniel Firth authored
Cleanup See merge request !136
-
Daniel Firth authored
-
Daniel Firth authored
-
- May 25, 2024
-
-
Daniel Firth authored
tryToUpgradeEverything See merge request !135
-
Daniel Firth authored
-
Daniel Firth authored
-
Daniel Firth authored
flake.nix: update See merge request !132
-
Daniel Firth authored
-
Daniel Firth authored
develop/flake.nix: update horizon-develop-flake See merge request !134
-
Daniel Firth authored
-
- May 22, 2024
-
-
Daniel Firth authored
horizon.lock: regenerate See merge request !133
-
Daniel Firth authored
-
Daniel Firth authored
develop/flake.nix: update horizon-develop-flake See merge request !131
-
Daniel Firth authored
-
Daniel Firth authored
protolude: remove See merge request !130
-
Daniel Firth authored
-
- May 21, 2024
-
-
Daniel Firth authored
tryToUpgradeEverything, reenable JuicyPixels See merge request !129
-