# HG changeset patch # User HackBot # Date 1478131876 0 # Node ID 74855153c69c9ee67ae934d6917de419662868b2 # Parent 8daa23dc2d16a0ba08b586837eb2269b37144e60 ` mv "wisdom/tanebventions: math" "tanebventions: maths" diff -r 8daa23dc2d16 -r 74855153c69c tanebventions: maths --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tanebventions: maths Thu Nov 03 00:11:16 2016 +0000 @@ -0,0 +1,1 @@ +Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, the long line, locales, and histograms. diff -r 8daa23dc2d16 -r 74855153c69c wisdom/tanebventions: math --- a/wisdom/tanebventions: math Thu Nov 03 00:11:07 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, the long line, locales, and histograms.