Louis Gesbert

I had a quick look on what @dra27 just described, and unfortunately it's not as simple as I first thought: variables like `with-doc` which rely on the package being explicitely...

(Note: this would be easy to implement in the compiler, but causes annoying conflicts in the grammar)

I updated the checklist :sweat_smile: Basically it's now usable (mainly thanks to the rehauled build system) although there still are some limitations: - lack of documentation - OCaml support only...

Very much interested in `jj` support; for what it's worth, here are the info that I'd like to see in my prompt: - The latest bookmark (`jj log -r 'heads(bookmarks()::@...

> note that locally, those docker build succesfully probably indicating a solver timeout on the CI side ?

Thanks. I would have liked to discuss this beforehand, but I think it's a good idea. A few comments: - please update doc/index.html with the new module - the name...

~(note: this is broken as it is, the catala allocator restoration command is inserted after `return`)~

Once we have functions to promote values allocated within the catala heap to persistent memory, these should be leveraged instead.