Project 'FP/iris-coq' was moved to 'iris/iris'. Please update any links and bookmarks that may still have the old path.
link to coqdoc
The docs are far from perfect, but they are better than no docs.
Merge request reports
Activity
Following the discussion in stdpp!42 (merged), what's the plain?
- Should the Coqdoc link in the title replace the current text?
- Should it be there in addition to the current text?
IMHO, I would be in favor of having it in addition. There currently is the paragraph about documentation (which mentions the appendix), so it would be strange to not also mention the Coqdoc there.
added 13 commits
-
f1dbd431...fe46fb58 - 12 commits from branch
master
- 25e0f7b6 - change how we link to coqdoc
-
f1dbd431...fe46fb58 - 12 commits from branch
oops I had entirely missed that other link. I think it is not prominent enough though.
Edited by Ralf JungLGTM. Especially combined with the change to the project description that we discussed in stdpp!42 (merged).
mentioned in commit 4e3d1c58
mentioned in merge request stdpp!42 (merged)
Please register or sign in to reply