New top story on Hacker News: What would it take to add refinement types to Rust?

What would it take to add refinement types to Rust?
13 by Yoric | 2 comments on Hacker News.


December 23, 2024 at 04:15PM Yoric 13 https://ift.tt/D6MsLrp What would it take to add refinement types to Rust? 2 https://ift.tt/NgsfYvC