Zulip Chat Archive
Stream: lean4
Topic: PackagingCon 2023
David Renshaw (Oct 20 2023 at 21:31):
PackagingCon 2023 is next week in Berlin: https://cfp.packaging-con.org/2023/schedule/, with virtual tickets available.
There are talks about Cargo, Pip, Homebrew, etc.
It's probably a good place to find ideas that may be applicable to Lake.
Last updated: Dec 20 2023 at 11:08 UTC