Martin Escardo

\begin{code}

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

module Taboos.index where

import Taboos.Decomposability
import Taboos.BasicDiscontinuity
import Taboos.LPO
import Taboos.WLPO
import Taboos.P2

\end{code}