module Haskell.Prim.Char where

open import Haskell.Prim

import Agda.Builtin.Char
open Agda.Builtin.Char using (Char)

eqChar : Char → Char → Bool
eqChar a b = eqNat (c2n a) (c2n b)