Martin Escardo

\begin{code}

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

module Slice.index where

import Slice.Slice
import Slice.Algebras
import Slice.Embedding
import Slice.IdentityViaSIP
import Slice.Monad
import Slice.Family

\end{code}