leosarev

What would it take to add refinement types to Rust?

26 points by leosarev 6 months ago | 3 comments