Hacker News new | ask | show | jobs
by steveklabnik 3414 days ago
This has nothing to do with the formal specification work.