Mercurial > repo
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?