Hacker News new | ask | show | jobs
by sheepshear 956 days ago
The manual isn't directly consumable by formal processes. The compiler design doesn't have to be influenced by a specification, but it does have to be described by one.