Andrew Sneap

\begin{code}

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

module Field.index where

import Field.Axioms
import Field.DedekindReals
import Field.Rationals

\end{code}