Initial commit authored by Laurent Prosperi's avatar Laurent Prosperi
TODO
\ No newline at end of file
* [Frontend design](frontend)
* [Codegen design](codegen)
* [Specification extraction](extraction)TODO