leosarev

Karma: 469
Created: 8 years ago

Recent Submissions

1. ▲ What would it take to add refinement types to Rust? (yoric.github.io) 26 points · 11 months ago · 3 comments

All submissions on HN · View profile on HN