You can already do it with small programs that fit in chatGPT's context really, but the problem of scale in understanding something as unambiguous as a formal programming language is really quite difficult to get precisely accurate and not jus