\begin{code}

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

module Naturals.index where

import Naturals.AbsoluteDifference
import Naturals.Addition
import Naturals.Binary
import Naturals.Division
import Naturals.ExitTruncation
import Naturals.Exponentiation
import Naturals.HCF
import Naturals.Multiplication
import Naturals.Order
import Naturals.Parity
import Naturals.Properties
import Naturals.RootsTruncation
import Naturals.Sequence
import Naturals.UniversalProperty

\end{code}