logoalt Hacker News

ocamoss • today at 4:01 PM • 0 replies • view on HN

> commented/documented code at best

Machine-checked documentation is always valuable, IMO