for comparison, a full monadic version of rewrite
authorNorman Ramsey <nr@cs.tufts.edu>
Mon, 26 Jul 2010 18:36:38 +0000 (14:36 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Mon, 26 Jul 2010 18:36:38 +0000 (14:36 -0400)
commitfe2d5294308248f77ddd84a7ce920f075d234c59
tree8b47812f18fcde15b31cdfe0c757fed8e96dd22d
parent0471b3bba37bd0d258c97b4e064e4907c925bc8c
for comparison, a full monadic version of rewrite
paper/dfopt.tex