On Friday, 27 February 2015 at 10:49:25 UTC, Ola Fosheim Grøstad wrote: > 2. You construct a transform T(x) that can transform language D > into x. > > => D is proven safe. Eh: 2. You construct a transform T(x) that can transform programs in language D into P...