Mercurial > repo
graph
-
<shachaf> rm bin/quachafSat, 11 Oct 2014 03:29:22 +0000, by HackBot
-
<oerjan> rm wisdom/hiFri, 10 Oct 2014 11:45:01 +0000, by HackBot
-
<oerjan> learn_append hi shmereFri, 10 Oct 2014 11:44:37 +0000, by HackBot
-
<oerjan> learn hi thereFri, 10 Oct 2014 11:44:28 +0000, by HackBot
-
<oerjan> sed -i \'6s/[*]/"\\n/\' bin/learn_appendFri, 10 Oct 2014 11:44:07 +0000, by HackBot
-
<oerjan> sed -i \'6cecho -n "Learned \'"\'"\'$topic\'"\'"\': *cat "wisdom/$topic"\' bin/learn_appendFri, 10 Oct 2014 11:43:31 +0000, by HackBot
-
<oerjan> revertFri, 10 Oct 2014 11:40:48 +0000, by HackBot
-
<oerjan> sed -i \'6cecho -n "Learned \'"\'"\'$topic\'"\'"\': "\\\'"\\n"\'cat "wisdom/$topic"\' bin/learn_appendFri, 10 Oct 2014 11:39:30 +0000, by HackBot
-
<oerjan> revertFri, 10 Oct 2014 11:32:38 +0000, by HackBot
-
<oerjan> rm bin/learnFri, 10 Oct 2014 11:32:22 +0000, by HackBot
-
<oerjan> learn Hi thereFri, 10 Oct 2014 11:28:54 +0000, by HackBot
-
<oerjan> sed -i \'4c\\echo "Learned \'"\'"\'$topic\'"\'"\': $1"\' bin/learnFri, 10 Oct 2014 11:28:33 +0000, by HackBot
-
<oerjan> mv wisdom/categorical{," product"}Fri, 10 Oct 2014 11:09:14 +0000, by HackBot
-
<b_jonas> learn categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=wp and v=wq.Fri, 10 Oct 2014 11:02:39 +0000, by HackBot