\begin{code}

{-# OPTIONS --safe --without-K #-}

module PCF.index where

import PCF.Combinatory.index -- By Tom de Jong
import PCF.Lambda.index      -- By Brendan Hart

\end{code}