Redirecting from /updates/shallow-embedding-why-lemmascript-translates-typescript-straight-into-dafny/ to https://midspiral.com/blog/shallow-embedding-why-lemmascript-translates-typescript-straight-into-dafny/