Hacker News new | ask | show | jobs
Type-level invariants in the Spectre Programming Language (spectre-docs.pages.dev)
1 points by death_eternal 60 days ago