home.md

@@ -2,3 +2,4 @@
 
 * [List of Coq bugs affecting Iris development](coq-bugs)
 * [Iris style guide](style-guide) (a work-in-progress document)
+* [Iris contributing guide](contributing) (a work-in-progress document)