Closed gfngfn closed 6 months ago
unicode-char-database
load-unicode-char-database : string -> string -> string -> unicode-char-database
set-unicode-char-database : unicode-char-database -> context -> context
unidata
Unidata.unidata : unicode-char-database
std-ja{,-book,-report}
md-ja
~/.saphe/unidata/
install-libs.sh
--base
unicode-char-database
load-unicode-char-database : string -> string -> string -> unicode-char-database
set-unicode-char-database : unicode-char-database -> context -> context
unidata
, which providesUnidata.unidata : unicode-char-database
std-ja{,-book,-report}
andmd-ja
) useunidata
~/.saphe/unidata/
,install-libs.sh
,--base
option, etc.