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

module index where

-- Calf language implementation:
import Calf

-- Case studies:
import Examples