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

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

\begin{code}

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

module gist.index where

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

\end{code}