Hacker News new | ask | show | jobs
Static Verification: An External DSL Advantage (zef.me)
4 points by Zef 6052 days ago