On 2022-12-18 12:26, Bart Schaefer wrote:
So, there are a couple of problems with it. I'd suggest that an example or two would be better than an involved theoretical exposition. Daniel's examples just recently made it instantly and completely clear. Glad to see you guys thinking about it tho. It's such a labor to write a really good doc and so easy to let that slip. Mind, the manual as we have it is a masterpiece of a certain kind of writing -- terse but exact, unfriendly but complete. Nice to have it a little more approachable however.