log

age author description
Tue, 18 Jun 2013 11:29:31 +0000 HackBot <shachaf> sed -i \'s/:/${@:+ }$@:/\' bin/slist
Tue, 18 Jun 2013 04:10:44 +0000 HackBot <shachaf> sed -i \'2s/$/./\' wisdom/indexed\\ monad
Mon, 17 Jun 2013 04:53:04 +0000 HackBot <shachaf> echo \'Indexed monads are just monads on an indexed category\' >> wisdom/\'indexed monad\'