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

module Examples where

-- Sequential
import Examples.Id
import Examples.Gcd
import Examples.Queue

-- Parallel
import Examples.TreeSum
import Examples.Exp2

-- Hybrid
import Examples.Sorting