\begin{code}

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

module Naturals.index where

import Naturals.AbsoluteDifference
import Naturals.Addition
import Naturals.Binary
import Naturals.Division
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}