Wikipedia:Articles for deletion/Simply typed lambda calculus (depracated)


 * The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review).  No further edits should be made to this page.  

The result of the debate was Speedy delete, request by the only person who had made non-triviel edits to the article. Thue | talk 19:23, 27 October 2005 (UTC)

Simply typed lambda calculus (depracated)
Someone (Thorsten) created it by accident; Thorsten requests (on the talk page) that the page be deleted. It doesn't even have "deprecated" properly spelled in the title, and there's a reasonable simply typed lambda calculus page already.
 * bmills 17:00, 21 October 2005 (UTC)


 * Delete per nomination. - bmills 17:00, 21 October 2005 (UTC)
 * Speedy delete if possible. It seems there is enough consensus for that and a proper article exists already. Otherwise just delete per nom. -- Rune Welsh | &tau;&alpha;&lambda;&kappa; | Esperanza  20:25, 21 October 2005 (UTC)
 * This has a history with mulktiple editors, so the "creator request" speedy criterion doesn't apply. Delete as per request. DES (talk) 22:22, 21 October 2005 (UTC)
 * Delete, obviously. --Jacquelyn Marie 02:57, 26 October 2005 (UTC)


 * The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.