annotate wisdom/certainly @ 5422:d2ad57cff955

<oerjan> ` ln -s wisdom/{real,"the reals"}
author HackBot
date Sat, 06 Jun 2015 16:13:51 +0000
parents 4465b32250df
children c777e2d91031 7c865a513abf
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2372
4465b32250df <Jafet> cp wisdom/certain{t,l}y && sed -i \'s/ty/ly/\' wisdom/certainly
HackBot
parents:
diff changeset
1 We don't know what certainly is for sure, but at least it isn't a functor.