home.md

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