First Dolmen meeting

[Gbury]

I'm happy to announce the first Dolmen meeting, which will take place on Monday, 14th June, starting at 6pm CEST (Paris Time, GMT+2). To join the meeting, simply go to https://visio.ocamlpro.com/group/ext/dolmen and fill in you username (no password required).

Here is a preliminary meeting agenda:

• Current uses of Dolmen: share what's your use-case for Dolmen
• Feature requests: what would you like/need Dolmen to do ?
• What I'm currently working on: printing of typed terms, and support for smtlibv3
• Future works:
  • implement some AST transformations to enable Dolmen to fix problems (or even perform some pre-processing)
  • use dolmen as a server for parsing/typing requests from solvers written in languages other than OCaml (simpler than a C interface)
• Random discussions

Note that this agenda is more meant as a guide to kickstart discussion, and need not be strictly followed. Do not hesitate to suggest additions to the agenda if you want some topic to be discussed.

cc @bobot @c-cube @hansjoergschurr @quicquid