home.md

 ## Iris wiki: Table of Contents
 
-* [List of Coq bugs affecting Iris development](coq-bugs)
\ No newline at end of file
+* [List of Coq bugs affecting Iris development](coq-bugs)
+* [Iris style guide](style-guide) (a work-in-progress document)