{-# OPTIONS --safe #-}
module Data.Nat where

open import Data.Nat.Base       public
open import Data.Nat.Path       public
open import Data.Nat.Properties public

open import Data.Nat.Instances.Everything public
