On Wed, Sep 20, 2017 at 10:22 AM, Nicolas Anquetil
<nicolas.anquetil@inria.fr> wrote:
not directly related but couldn't we switch to ston/json as a serialization format ?
There is PEG.js that could possibly work to convert MSE to JSON (especially with Gustavo's grammar). There are a couple of online development environments to play with it: