We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
fix wiki links (no more ../)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
No commit message
PseudoCoq for notation for W-types.
proper link
grammar
missing preposition
converted to 1.6 markup
Explain what an element of a W-type looks like; note a slight failure of perfect simplicity in a calculus based on W-types.
spell-check
cretaed the page