We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Updated Wishes (markdown)
Link to discussion on coercions
Update
Add link to flexible parameters in inductive types + fix link unification problems
real links to issues in the wiki
Added link to #6061
syntax highlighting (part 3)
fix wiki links (no more ../)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
A note on turning transparent an opaque constant
No commit message
Removing an example which does not compile and which is presumably solved since 8.5
Typo
Referring to Arguments controlling reduction of functions defined by cases.
Adding a wish on coercions
Adding the "map" parameters problem
A wish for discriminate + update of a wish for injection which is granted
fix archive link
dpdgraph link
Beginning of coqdoc specification
Language of binders
Mutual inductive types with not necessarily the same parameters for each inductive component.