Is this a liquid-rust I see on the horizon? Exciting!
Quote Tweet
On the bright side, v. excited about these recent developments due to @nilehmann & @cao_sh
Conversation
Replying to
For those unaware, this is like Liquid Haskell, which can enforce interesting properties about your code at compile time using a solver: ucsd-progsys.github.io/liquidhaskell-
1
5
