In principle, mental constructs don’t need to remain in your head. They could be documented. But writing documentation, reading it, and maintaining it takes tim

In principle, mental constructs don’t need to remain in your head. They could be documented. But writing documentation, reading it, and maintaining it takes time. With LLM assistance, it might become easier to maintain a Markdown file containing the “theory” of a program. But what should be in the file?