Comment by throwawayffffas

11 days ago

Oh and btw their borrow checker is the kind of system that you would want formally verified.

0 comments

throwawayffffas

Reply

No comments yet

Contribute on Hacker News ↗