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

module Examples where

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

-- Parallel
import Examples.TreeSum
import Examples.Exp2

-- Hybrid
import Examples.Sorting

-- Amortized Analysis via Coinduction
import Examples.Amortized