Prelude/Char.agda


1
2
3
4
5
6
7
8
9
10
11
12

module B.Prelude.Char where

import Data.Char

open Data.Char
  using (Char)
  public

module Char where
  open Data.Char
    using (toNat)
    public