Martin Escardo

We use this directory to include small examples for discussion.

\begin{code}

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

module gist.index where

import gist.multiset-addendum-question
import gist.remove-swap
import gist.TruncatedTypes

\end{code}
