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?