Y
Hacker News
new
|
ask
|
show
|
jobs
by
alkonaut
3297 days ago
Is there a hello world-y example of refinement types, similar to Vectors with length?