{-# OPTIONS --cubical #-}

module Everything where

-- This file imports every module in the project. Click on
-- a module name to go to its source.

open import Data.Binary
open import Data.Binary.Addition
open import Data.Binary.Conversion
open import Data.Binary.Conversion.Fast
open import Data.Binary.Decrement
open import Data.Binary.Definition
open import Data.Binary.Double
open import Data.Binary.Helpers
open import Data.Binary.Increment
open import Data.Binary.Multiplication
open import Data.Binary.Properties
open import Data.Binary.Properties.Addition
open import Data.Binary.Properties.Conversion
open import Data.Binary.Properties.Double
open import Data.Binary.Properties.Helpers
open import Data.Binary.Properties.Isomorphism
open import Data.Binary.Properties.Multiplication
open import Data.Binary.Properties.Subtraction
open import Data.Binary.Subtraction
open import Data.Binary.Testing
open import Data.Binary.Testing.Multiplication
open import Data.Binary.Testing.Subtraction