Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Utils.Char
Documentation
decDigit
::
Char
->
Int
Source
hexDigit
::
Char
->
Int
Source
octDigit
::
Char
->
Int
Source
Produced by
Haddock
version 2.6.0