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

module index where

-- Calf language implementation:
import Calf

-- Case studies:
import Examples