Verified Efficient Programs in ATS: Qsort #1 Post by typish » Wed, Apr 29, 2015, 10:22 AM UTC Verified Efficient Programs in ATS: Qsortilltyped.com