{-# OPTIONS --prop --rewriting #-}

module Examples.Sorting where

import Examples.Sorting.Sequential
import Examples.Sorting.Parallel