better(?) explanation of the CkpointMonad constraint in 'analyzeAndRewriteFwdBody'
authorNorman Ramsey <nr@cs.tufts.edu>
Sat, 24 Jul 2010 00:11:00 +0000 (20:11 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Sat, 24 Jul 2010 00:11:00 +0000 (20:11 -0400)
commitdd7b451aca9a97a4909d89f2b613984833565bf6
tree964b980d363fd0e7ecadc79de0cb3da09418b5bd
parente6905ff49d40b6fdb2e9f4d38d30c8e8ae249588
better(?) explanation of the CkpointMonad constraint in 'analyzeAndRewriteFwdBody'
paper/dfopt.tex