← Back to context Comment by amelius 3 hours ago It's still great if the assertions in your code are provably correct. 0 comments amelius Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗