Future Improvements #1
Description
We started with lark, but we should continue with :
Not sure in which order or how to combine them...
The aim is to :
- Provide support for a set of parsers covering as many grammar as possible
- Find some interface that enables us to combine parsing and (python-interpreted) operational semantics through standard python import protocols