leosarev Karma 470 Created 8 years ago Recent Submissions 1. ▲ What would it take to add refinement types to Rust? (yoric.github.io) 26 points · 1 year ago · 3 comments All submissions on HN · View profile on HN