IMPORTANT: explanation of rewriting without appeal to the representation
authorNorman Ramsey <nr@cs.tufts.edu>
Sat, 24 Jul 2010 00:39:59 +0000 (20:39 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Sat, 24 Jul 2010 00:39:59 +0000 (20:39 -0400)
commit8303be70a5c9364ad068658dc582ce9317ae1cf9
treee790aab561c24a4ffbf2fd71645805d88e22c016
parent27a278e3d44779195bf0208705fe98c2d2fcd242
IMPORTANT: explanation of rewriting without appeal to the representation
paper/dfopt.tex
paper/hsprelude