[Laaas]

It is great to see the improved documentation! Thanks, Victor.

Hopefully once the full LC is supported, we can try to make an STG-to-HVM-language translator.