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

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

open import Data.Char.Instances.Everything public
