6 ms·I can't remember which talk it was, but Lamport said for code generation you should look elsewhere.by smallape 11y agoI can't remember which talk it was, but Lamport said for code generation you should look elsewhere.