... | ... | @@ -3,3 +3,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)
|
|
|
* [Pinned Iris package versions](Pinned-Iris-package-versions) |
|
|
\ No newline at end of file |