Andrew Sneap

\begin{code}

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

module Rationals.index where

import Rationals.Type
import Rationals.Abs
import Rationals.Addition
import Rationals.Extension
import Rationals.Limits
import Rationals.MinMax
import Rationals.Multiplication
import Rationals.Negation
import Rationals.Order
import Rationals.Positive
import Rationals.Fractions
import Rationals.FractionsOperations
import Rationals.FractionsOrder

\end{code}