Armaël Guéneau

Triage after the creusot meeting this morning: - I'd be good indeed to move the `prove` and `replay` subcommands to be handled by `cargo-creusot`, following the refactoring done for `ide`....

Do the ocsigen-toolkit developers go through the "recompile ocsigen-toolkit + recompile ocsigen-start + recompile an ocsigen-start instance" routine for each tweak to the library? An Ocsigen Toolkit demo could be...

Hi! Thanks for your interest. I believe the "27 days ago" refers to the currently opened pull request. As for the current status of the project: this is an experiment...

Yeah, you should pin my (at the moment unreleased) xkbcommon bindings: ``` opam pin add xkbcommon https://github.com/Armael/ocaml-xkbcommon ``` But yeah, I've been doing some cleanup. Now everything should compile, and...

Ah, try: `opam pin add xkbcommon https://github.com/Armael/ocaml-xkbcommon.git`

Do you have the latest version of wlroots (from their git)?

Yeah, all of this should definitely go in the readme. I think at targeted the release branch at some point, and ended up installing the git version for other purposes,...

Yeah you shouldn't have to write .merlin files by hand, dune generates them automatically. So if you build tinywl (`dune build tinywl/tinywl.exe` or just `make examples`) then that will generate...

Wow, thanks a lot for this work, that looks great! I appreciate it especially given that it's useful work that is also quite tedious to do by oneself :). I'll...

Yeah, I noticed today that the repo doesn't build anymore with the latest git version of wlroots. I'd like to try and look at whether wlroots could be vendored with...