Talk:Unassignable-ABCDXYZ equivalency proof

Thanks for doing that. I had the equivalency in my head vaguely all along, but wasn't originally quite sure how to make it formal, and then got distracted onto other things... --ais523 16:14, 27 April 2008 (UTC)
 * I wrote an untested compiler written in Java, which I got this explanation from (but it's... unpolished to say the least). It can process the large program on the ≠ talk page, and gives a 408 object ABCDXYZ program, but I don't know if it is correct. Alksentrs 15:46, 28 April 2008 (UTC)