3 ms·> commented/documented code at best Machine-checked documentation is always valuable, IMOby ocamoss 4mo ago> commented/documented code at best Machine-checked documentation is always valuable, IMO