That's the problem with humans as well, since we don't exactly memorise the spec, we just check & update basis errors & looking up references. But since this is

That's the problem with humans as well, since we don't exactly memorise the spec, we just check & update basis errors & looking up references. But since this is an LLM we are talking about, it should be able to infer the same once given the spec of a language without needing a compiler or atleast being able to check with one via plugin or api call.