home.md

-TODO
+* [Frontend design](frontend)
\ No newline at end of file
+* [Codegen design](codegen)
+* [Specification extraction](extraction)TODO