changeset 2446:cc6d9289d2c1

<monqy> addquote <zzo38> Two eggs costs less than one egg, but if you buy two eggs, you must eat both. Does linear logic do this?
author HackBot
date Sun, 17 Mar 2013 10:42:50 +0000
parents 719e5a6ec509
children 3aab7c42d635
files quotes
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/quotes	Sun Mar 17 10:11:28 2013 +0000
+++ b/quotes	Sun Mar 17 10:42:50 2013 +0000
@@ -981,3 +981,4 @@
 <boily> it's raining in newcastle, therefore the elliotts are distinct.  <tswett> boily's Newcastle Theorem.
 <ais523> there's more evidence that scammers exist, than that, say, the average Nigerian exists
 <ais523> is it March 3?  <olsner> on some dates, yes
+<zzo38> Two eggs costs less than one egg, but if you buy two eggs, you must eat both. Does linear logic do this?