Hacker News new | ask | show | jobs
Verified Efficient Programs in ATS: Qsort (illtyped.com)
2 points by typish 4065 days ago