# HG changeset patch
# User HackBot
# Date 1452027396 0
# Node ID c3828cdd1b0c0904c25b1e9c38674661dd37e3a6
# Parent  df50f3a70d19b593b81bbb98a406b5b7c37b6dba
<shachaf> ` sed -i \'s/robots,/Lambek\'\\\'\'s lemma, &/\' wisdom/tanebvention

diff -r df50f3a70d19 -r c3828cdd1b0c wisdom/tanebvention
--- a/wisdom/tanebvention	Mon Jan 04 14:27:23 2016 +0000
+++ b/wisdom/tanebvention	Tue Jan 05 20:56:36 2016 +0000
@@ -1,1 +1,1 @@
-Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, the universe, weetoflakes, persistence, the reals, robots, cigars, progress, and this sentence. He never invents anything involving sex.
+Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, the universe, weetoflakes, persistence, the reals, Lambek's lemma, robots, cigars, progress, and this sentence. He never invents anything involving sex.