Hi folks, anyone up to give a Nix session?
I know a few people is interested on it, myself included
I had trouble understanding the current Nix setup
Since you are here @Cyril Cohen, did you notice the request for a Nix session? I haven't answered because I couldn't really prepare anything, but should we plan for some sort of informal Q&A session where we can help and guide new Nix / Coq Nix Toolbox users?
I think just a demo would be great
my own sessions except for the diversity one are not prepared at all
but more like interacting
I'm ok with answering questions. I could also do a live demo of whatever people want, but I would need to understand what, and try the demo first ^^'
For me I have two things I'd like to see:
the second one is way more important for me
as my coauthors like nix a lot , so I'd like to move some ongoing developments to nix
I mean pure Coq developments, using math-comp, metacoq, etc...
I always had trouble trying to figure out how select a particular version etc...
Sure, I can do that (I could also replay the demo of the last coq workshop ;) )
(sorry, kidding, live and interactive is better)
maybe it could be a hands on tutorial, "bring your project, I do it on a stub, and you do it for real"?
Maybe on Thursday morning like 10am Paris time ?
Should I add it to the program?
That's fine to add :-)
I added this to the program https://github.com/coq/coq/wiki/CoqWG-2022-02#Using-nix-for-a-Coq-package. Please try to come with nix installed
CC @Emilio Jesús Gallego Arias; @Karl Palmskog, @Kenji Maillard, @Pierre Jouvelot
Hello, which break out room should we use?
Let's go to number one?
@Karl Palmskog @Kenji Maillard We are about to get started.
thanks a lot for the tutorial Cyril, Théo, in particular the high-level explanation of how things are organized. I think I will try to initialize the Nix toolbox for a few more of my projects in coq-community soon.
Hi folks you recoreded the session?
Unfortunately not because it happened in a breakout room.
Last updated: Jan 29 2023 at 16:02 UTC