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