changeset 3341:a21c56c47b93

<FreeFull> for x in wisdom/*; do tac "$x" > "$x"a; mv "$x"a "$x"; done
author HackBot
date Wed, 31 Jul 2013 20:41:35 +0000
parents b2319cec2fb5
children c777e2d91031
files wisdom/cello wisdom/d/da wisdom/doodads wisdom/gazpacho wisdom/indexed monad wisdom/lystrosaur wisdom/otp wisdom/piet wisdom/qdbfmt wisdom/qdbrules wisdom/quoteformat wisdom/¯\(°_o)/¯\(°_o)a
diffstat 9 files changed, 9 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/cello	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/cello	Wed Jul 31 20:41:35 2013 +0000
@@ -1,2 +1,2 @@
+
 4The 7high 8level 9stucture 2of 13Cello 6projects 4is 7inspired 8by 9/Haskell/, 2while 13the 6syntax 4and 7semantics 8are 9inspired 2by 13/Python/ 6and 4/Obj-C/.
-
--- a/wisdom/doodads	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/doodads	Wed Jul 31 20:41:35 2013 +0000
@@ -1,1 +1,1 @@
-doodad
\ No newline at end of file
+Doodads are just duoids in the category of endofunctors.
--- a/wisdom/gazpacho	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/gazpacho	Wed Jul 31 20:41:35 2013 +0000
@@ -1,1 +1,1 @@
-gaspacho
\ No newline at end of file
+You like Gazpacho and I like Gaspacho.  Let's call the whole thing off!
--- a/wisdom/indexed monad	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/indexed monad	Wed Jul 31 20:41:35 2013 +0000
@@ -1,2 +1,2 @@
+Indexed monads are just monads on an indexed category.
 Indexed monads are just categories enriched over the monoidal category of endofunctors.
-Indexed monads are just monads on an indexed category.
--- a/wisdom/lystrosaur	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/lystrosaur	Wed Jul 31 20:41:35 2013 +0000
@@ -1,1 +1,1 @@
-lystrosaurus
\ No newline at end of file
+lystrosaurus is a genus of Late Permian and Early Triassic Period dicynodont therapsids, which ruled the world around 250 million years ago.
--- a/wisdom/piet	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/piet	Wed Jul 31 20:41:35 2013 +0000
@@ -1,2 +1,2 @@
+
 6Piet 4is 7a 8really 9colorful 2programming 13language.
-
--- a/wisdom/qdbfmt	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/qdbfmt	Wed Jul 31 20:41:35 2013 +0000
@@ -1,1 +1,1 @@
-qdbformat
\ No newline at end of file
+qdbformat is: <nick> message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two
--- a/wisdom/qdbrules	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/qdbrules	Wed Jul 31 20:41:35 2013 +0000
@@ -1,1 +1,1 @@
-qdbformat
\ No newline at end of file
+qdbformat is: <nick> message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two
--- a/wisdom/quoteformat	Wed Jul 31 20:37:33 2013 +0000
+++ b/wisdom/quoteformat	Wed Jul 31 20:41:35 2013 +0000
@@ -1,1 +1,1 @@
-qdbformat
\ No newline at end of file
+qdbformat is: <nick> message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two