GitLab

types/ compiles has a library.

    lexer, parser and wrapper module compile.

- The parser is conflict free (but not tested).
- There is one regression : Ocaml annotations have to be written :
(e with { ... }) instead of e with { ... } because the latter is not LR(1),
because of `match with` :

match e with { x } -> x
match e with { x y }  with e ...
               ^
this needs an arbitrary look-ahead after `with`.

- The semantic actions are not written yet.