Talk:Unassignable-ABCDXYZ equivalency proof

From Esolang

Jump to: navigation, search

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)
Retrieved from "http://www.esolangs.org/wiki/Talk:Unassignable-ABCDXYZ_equivalency_proof"
Personal tools