Data.SBV.Examples.BitPrecise.MergeSort

Implementing Merge-Sort

type E

merge

mergeSort

Proving correctness

nonDecreasing

isPermutationOf

correctness

Generating C code

codeGen