From 5b2df4d8ed954e0f0b7f0153a081ea1b501c26c8 Mon Sep 17 00:00:00 2001 From: Brian W Bush Date: Mon, 9 Dec 2024 11:26:50 -0700 Subject: [PATCH] Added log entry on nix development --- Logbook.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Logbook.md b/Logbook.md index 99fb4e38..33a14e0e 100644 --- a/Logbook.md +++ b/Logbook.md @@ -1,5 +1,11 @@ # Leios logbook +## 2024-12-09 + +### Nix development environment + +We previously had a `nix develop` environment for the Haskell simulation, but this was removed as the Haskell package evolved. Instead of re-nixifying this repository, I created a separate [ouroboros-leios.env](https://github.com/functionally/ouroboros-leios.env) repository where one can open a `nix develop` with the correct Haskell compiler and dependencies. + ## 2024-12-06 ### ΔQ