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
1
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
Afaik it was meant to be language agnostic, but Iām not sure about how it couples itself to the package.json format š¤