sort.idr

module Main

qsort : Ord a => List a -> List a
qsort [] = []
qsort (x :: xs) = smaller ++ [x] ++ larger
    where smaller = qsort [y | y <- xs, y <= x]
          larger = qsort [y | y <- xs, y > x]

main : IO ()
main = printLn $ qsort [5, 1, 5, 89, 1, 8, 5, 78]