On Fri, 16 Feb 2018, Claude Marché wrote:
>
> I suggest to look at
>
> http://toccata.lri.fr/gallery/sorting.en.html
>
> and in particular to
>
> http://toccata.lri.fr/gallery/mergesort_list.en.html
>
> that provides a verified implementation of OCaml's List.sort
>
> There is a difference
I suggest to look at
http://toccata.lri.fr/gallery/sorting.en.html
and in particular to
http://toccata.lri.fr/gallery/mergesort_list.en.html
that provides a verified implementation of OCaml's List.sort
There is a difference though: since the given 'compare' function should
be required to