Refinement Kinds: Type-Safe Programming with Practical Type-Level Computationarxiv.org2 points·danny00··0 commentsOpen articleSaveView on HN