-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
> And indeed, we should definitely keep the original version around; > in principle we can even quickcheck everything (old == new). and indeed if we manage to go from original to optimised via a sequence of (semantics preserving) rewrite steps, then it should be submitted to http://www.program-transformation.org/HART14 (hint hint) - - J. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iEYEARECAAYFAlOEs3QACgkQDqiTJ5Q4dm+SrgCePDyl491bmX0+ogdv5ONxGgBE NzcAoLnh2mIrF03JttGMO36GysEUaM/k =WXO4 -----END PGP SIGNATURE-----
