On Fri, Feb 03, 2006 at 07:09:40PM +, 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 incl
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
