Andrew Sneap

\begin{code}

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

module MetricSpaces.index where

import MetricSpaces.Type
import MetricSpaces.DedekindReals
import MetricSpaces.Rationals

\end{code}