The LLM still benefits from a concise type-checked language to write software in, in the exact way a human does.
That would be formal rules, Lean style, and not related to 3 GL languages.
alt Hacker News
That would be formal rules, Lean style, and not related to 3 GL languages.