26 days ago|discuss
user: leosarev
470 karma | created 8 years ago
recent submissions
28 days ago|discuss
28 days ago|discuss
1 month ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
9 months ago|discuss
11 months ago|discuss
1 year ago|discuss
1 year ago|discuss
What would it take to add refinement types to Rust?
(yoric.github.io)
26 pts|1 year ago|3 comments
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss