{-# OPTIONS --without-K --exact-split --rewriting #-}

module Pi.Examples.Examples where

open import Pi.Examples.Base public

open import Pi.Examples.Adder public
open import Pi.Examples.Copy public
open import Pi.Examples.ExpMod public
open import Pi.Examples.Incr public
open import Pi.Examples.Interp public
open import Pi.Examples.Reset public 
open import Pi.Examples.Toffoli public