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)

I think that in unat_bit, loop and loopifset should both run the iterate event, as it seems that every time when iterate+iterateifset are defined, they are the same; And because unat_bit is internal, this wouldn't probably break anything and the change would be trivial. Am I correct? --Zseri (talk) 19:14, 18 August 2018 (UTC)