Andrew Sneap

\begin{code}

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

module Dyadics.index where

import Dyadics.Addition
import Dyadics.Multiplication
import Dyadics.Negation
import Dyadics.Order
import Dyadics.Type

\end{code}