------------------------------------------------------------------------
-- The Agda standard library
--
-- Instances for characters
------------------------------------------------------------------------

{-# OPTIONS --cubical-compatible --safe #-}

module Data.Char.Instances where

open import Data.Char.Properties using (isDecEquivalence)

instance
  Char-≡-isDecEquivalence = isDecEquivalence