Commit 022fdb45 authored by Michael Hanus 's avatar Michael Hanus

Specification of sort operations improved

parent 72029483
......@@ -62,7 +62,8 @@ permSort = permSortBy (<=)
--- of the input. This is not a usable way to sort a list but it can be used
--- as a specification of other sorting algorithms.
permSortBy :: Eq a => (a -> a -> Bool) -> [a] -> [a]
permSortBy leq xs | ys == perm xs && sortedBy leq ys = ys where ys free
permSortBy leq xs | sortedBy leq ys = ys
where ys = perm xs
--- Computes a permutation of a list.
perm :: [a] -> [a]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment