Verified Efficient Programs in ATS: Qsort(illtyped.com)2 points·by typish·11 anni fa·0 commentsilltyped.comVerified Efficient Programs in ATS: Qsorthttp://www.illtyped.com/projects/patsolve/qsort.html0 commentsPost comment—