|
name
|
char
|
|
version
|
1.145
|
|
requires
|
|
|
meta.description
|
Unicode characters
|
|
meta.author
|
Joe Leslie-Hurd <joe@gilith.com>
|
|
meta.license
|
MIT
|
|
meta.homepage
|
https://opentheory.gilith.com/?pkg=char
|
|
meta.show
|
"Data.Bool"
|
|
meta.show
|
"Data.Byte"
|
|
meta.show
|
"Data.Char"
|
|
meta.show
|
"Data.List"
|
|
meta.show
|
"Data.Option"
|
|
meta.show
|
"Data.Pair"
|
|
meta.show
|
"Data.Sum"
|
|
meta.show
|
"Function"
|
|
meta.show
|
"Number.Natural"
|
|
meta.show
|
"Parser"
|
|
meta.show
|
"Parser.Stream"
|
|
meta.show
|
"Probability.Random"
|
|
meta.show
|
"Set"
|
|
meta.hol-light-int-file
|
hol-light.int
|
|
meta.hol-light-thm-file
|
hol-light.art
|
|
meta.haskell-name
|
opentheory-unicode
|
|
meta.haskell-category
|
Text
|
|
meta.haskell-int-file
|
haskell.int
|
|
meta.haskell-src-file
|
haskell.art
|
|
meta.haskell-test-file
|
haskell-test.art
|
|
meta.haskell-equality-type
|
"Data.Char.char"
|
|
meta.haskell-arbitrary-type
|
"Data.Char.char"
|
|
subs
|
3 subs
|