We’ve published Refinement Types Design Notes - a ...

# language-proposals

[Mikhail Vorobev]

We’ve published Refinement Types Design Notes - a research on expressing more precise constraints on values with refinement types. It’s not a proposal, but we’d love to hear what you think.
Design Notes
Discussion