Hacker News new | ask | show | jobs
Spectre – A design-by-contract, compiled programming language with QBE back end (github.com)
1 points by death_eternal 67 days ago