I really don't want to write a new package manager for Lean 4. Other language package managers have started to provide optional Nix support, but I would be perfectly happy if I could just delegate this entire topic to Nix behind a minimal wrapper. But alas, Windows.
Conversation
1
3
Seems like windows is supported (pretty incredible since it's implemented in OCaml), but I'm unsure about the toolchain managment you mention here though.
Quote Tweet
Things I believe Nix excels at that I really don't want to reinvent:
* unified dependency management: no need to handle Lean versions (elan), package versions (leanpkg), and external build dependencies (incr. important in Lean 4) separately
Show this thread
Oh, that does look pretty nice. I'm not sure if it makes sense to use it for a language not associated with the JS or OCaml ecosystem in any way, but it doesn't look too language-specific.
2
Yeah, was just a thought!
1
Show replies