{-# OPTIONS --rewriting #-} module Examples where -- Sequential import Examples.Id -- import Examples.Gcd -- import Examples.Queue import Examples.Sorting.Sequential -- Parallel import Examples.TreeSum import Examples.Exp2 -- import Examples.Sorting.Parallel -- Amortized Analysis via Coinduction import Examples.Amortized -- Effectful import Examples.Decalf