{-# OPTIONS --rewriting #-} module index where -- Calf language implementation: import Calf -- Case studies: import Examples