Refined: Simple Refinement Types for Rustjordankaye.dev4 points·fofoz··0 commentsOpen articleSaveView on HN