We use this directory to include examples for discussion or
illustration.

We also use it for blackboard style experiments, which, if succesful,
are eventually moved to the main (old or new) folders.

\begin{code}

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

module gist.index where

import gist.DependentlyTypedTensors
import gist.InjectivesVersusAlgebras
import gist.IntervalObject
import gist.multiset-addendum-question
import gist.not-an-apartness
import gist.remove-swap
import gist.transport-discussion

\end{code}