@Pierre Castéran I think we should do at least annual releases of Hydras & Co. and put both the code and generated PDF on Zenodo. They have a pretty nice presentation page which does a preview of the PDF (example)
MCB has also started to do this
I think the "book+library regenerated all the time" will probably win out in the end, but it may be a bit in the future, and checkpoints could at least give a wider audience
3 messages were moved here from #Hydras & Co. universe > Package issue by Karl Palmskog.
I think the redaction of the part dealing with the Gödel stuff will take a long time (it's now a terrible draft).
If we release some version of the book, we may generate a pdf without this part.
sounds reasonable, we can do some "release management" before we tag
Last updated: Jun 10 2023 at 23:01 UTC