Verified Efficient Programs in ATS: Qsortilltyped.com2 points·typish··0 commentsOpen articleSaveView on HN