On 05/30/2013 03:51 PM, Makarius wrote: > BTW, I've seen really good sources > recently: ACL2. They have a *strict* 80 char limit, and really good > writing style of "essays", not "code documentation". This sounds interesting. Can you point to some examples of such essays? Alex