rename some stuff
authorJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 01:13:38 +0000 (20:13 -0500)
committerJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 01:13:38 +0000 (20:13 -0500)
commit434fc9bef584f51ac5338a39dc4ff5da44b5b435
treef5bb64caf3cfa05e5b99dcaea702142ada64e833
parent2f6e770665caa164a2c608417954b24359b10f56
rename some stuff

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