annotate karma @ 8840:409aa9d7309b

<b_jonas> learn The hydra is at http://www.madore.org/~david/math/hydra0.xhtml , the dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem
author HackBot
date Mon, 25 Jul 2016 10:04:29 +0000
parents 260e8be35366
children 89f3cb7bc99f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7812
7bcf50277c2e <hppavilion[1]> ` sed -i \'s/now //\' karma
HackBot
parents: 7319
diff changeset
1 oren has 1 karma.
7828
260e8be35366 <hppavilion[1]> ` echo "hppavilion[1] has -i karma" >> karma
HackBot
parents: 7812
diff changeset
2 hppavilion[1] has -i karma