On Fri, Feb 03, 2006 at 07:09:40PM +0000, Philippa Cowderoy wrote:

I just added a ticket requesting that some definitions be added to the wiki (so that other pages and tickets can link to them, helping to demystify jargon for those who don't specialise in specific fields). I've also included quick definitions for "predicative" and "impredicative" in the ticket, as these were asked for on the mailing list earlier and will no doubt crop up again in type system discussions.

Wouldn't the wiki on haskell.org be the ideal place for this? The definitions would be useful for much more than Haskell'.