Frédéric Bour

Thanks for the suggestion, that's a good idea. The software is still in its early days but as things stabilize I will do a recording!

That looks very cool! I am tempted to switch to st3 :)

Is it possible that you have multiple versions of Merlin installed?

FYI, directed graph layout: - [Efficient sugiyama](http://jgaa.info/getPaper?id=111), [implem](https://github.com/andypelzer/GraphSharp/tree/master/Graph%23/Algorithms/Layout/Simple/Hierarchical) (an atrocity)

I am not sure what you mean by "... which variables are quantified in each environment". In `value_description` and `class_signature`, isn't it the case that a simple traversal enumerating `Tvars`...

> @let-def rebasing done. will you test some of your code using this? Thanks for the rebase @t6s, and apologies for the delay. The code I was working on would...

Hi @tsung-ju & @lervag, I am glad to see this contribution. I don't have much free time these days, so I will only follow this from a distance. > I...

Printing of errors in the compiler is done with the `Outcometree`. The necessary code is implemented in `Reason_oprint`. OCaml 4.04 implemented support for plugins, a bit of code dynamically loaded...

Plugins GPR: https://github.com/ocaml/ocaml/pull/648

Have you build the `texpresso-tonic` helper? If not, try `make texpresso-tonic`. After that, what is the output of `build/texpresso-tonic test/simple.tex`?