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...

Reply via email to