log

age author description
Mon, 17 Jun 2013 04:53:04 +0000 HackBot <shachaf> echo \'Indexed monads are just monads on an indexed category\' >> wisdom/\'indexed monad\'
Mon, 17 Jun 2013 04:52:05 +0000 HackBot <shachaf> mv \'indexed monad\' wisdom/
Mon, 17 Jun 2013 04:51:26 +0000 HackBot <shachaf> >\'indexed monad\' echo \'Indexed monads are just categories enriched over the monoidal category of endofunctors.\'
Sun, 16 Jun 2013 21:51:27 +0000 HackBot <Phantom_Hoover> pastlog hth | tac | paste
Sun, 16 Jun 2013 21:49:09 +0000 HackBot <nooodl> pastelogs zzo38.*hth
Sun, 16 Jun 2013 21:47:23 +0000 HackBot <nooodl> pastelogs \\bhth\\b
Sun, 16 Jun 2013 21:45:33 +0000 HackBot <nooodl> pastelogs hth