rename some stuff
authorJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 01:19:25 +0000 (20:19 -0500)
committerJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 01:19:25 +0000 (20:19 -0500)
commit06846722f1be7c898c2c2b1c33ac2b35955553b7
tree004c7bd3283a48ff5c6f635f6f588c777d4aea53
parentef7c19f2fa5f5db94a38408896a952a56402ce98
rename some stuff

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
code/tree_monadize.ml
manipulating_trees_with_monads.mdwn