Stefan O'Rear wrote:
On Fri, Jul 13, 2007 at 08:23:41PM +0100, Andrew Coppin wrote:
Whenever I find that something isn't on the Wiki, I try to add it. (E.g., the articles on alpha/beta/eta reduction.)
On the other hand, when I find something isn't there, it's usually because I'm trying to look it up because I don't understand it. ;-) To some extend, incorrect information can be worse than no information... :-(
Conversely, it's generally easier for us to fix an incorrect page than to write a new one from scratch.
...hence my usual tacktic of adding the page and putting in the comments "somebody should probably check this..." Sometimes it works. ;-) (It worked for the beta and eta articles - somebody quickly pointed out that I actually got the names the wrong way round! Oops... On the other hand, I updated the Existential Type article, and apparently nobody noticed that one of my examples don't actually compile due to gratuetusly invalid syntax.)