Y
Hacker News
new
|
ask
|
show
|
jobs
by
raincole
206 days ago
https://en.wikipedia.org/wiki/Refinement_type
1 comments
robertlagrant
206 days ago
Thank you - I didn't know it had a name. But I'm not surprised it came from ML.
link