Environment Variables File locations JULIA_BINDIR JULIA_PROJECT JULIA_LOAD_PATH JULIA_DEPOT_PATH JULIA_HISTORY External applications JULIA_SHELL JULIA_EDITOR ...

Environment Variables File locations JULIA_BINDIR JULIA_PROJECT JULIA_LOAD_PATH JULIA_DEPOT_PATH JULIA_HISTORY JULIA_PKGRESOLVE_ACCURACY External applications JULIA_SHELL J...

REPL 环境变量 永久化历史记录 NODE_REPL_HISTORY_FILE REPL 特性 自定义对象 Class: REPLServer 事件：’exit’ 事件：’reset’ replServer.defineComman(keyword, cmd) replServer.displayPrompt([preserveCurso...

后序 后序 终于到写结束语的时候了，以上基本上就是GNU make的Makefile的所有细节了。其它的厂商的make基本上也就是这样的，无论什么样的make，都是以文件的依赖性为基础的，其基本是都是遵循一个标准的。这篇文档中80%的技术细节都适用于任何的make，我猜测“函数”那一章的内容可能不是其它make所支持的，而隐含规则方面，我想不同的ma...

Sort System Introduction to universes Universe example Universe polymorphism Agda’s sort system Sorts Setᵢ and Set ℓ Sorts Propᵢ and Prop ℓ Sorts Setωᵢ Sort metavariabl...

Unicode 指南 Unicode 概述 定义 编码 参考文献 Python对Unicode的支持 字符串类型 转换为字节 Python 源代码中的 Unicode 文字 Unicode属性 字符串比较 Unicode 正则表达式 参考文献 Unicode 数据的读写 Unicode 文件名 识别 Unicode 的编程技巧 在文...

Unicode 指南 Unicode 概述 定义 编码 引用文献 Python对Unicode的支持 字符串类型 转换为字节 Python 源代码中的 Unicode 文字 Unicode属性 字符串比较 Unicode 正则表达式 引用文献 Unicode 数据的读写 Unicode 文件名 识别 Unicode 的编程技巧 在文...

第 8 章 国际化和本地化 8.1. 键盘输入 8.1.1. IBus 支持的输入法 8.1.2. 一个日语的例子 8.1.3. 禁用输入法 8.2. 显示输出 8.3. 东亚环境下宽度有歧义的字符 8.4. 语言环境 8.4.1. 编码的基础知识 8.4.2. UTF-8 语言环境的基本原理 8.4.3. 语言环境的重新配置 8.4.4....

Environment Variables File locations JULIA_BINDIR JULIA_PROJECT JULIA_LOAD_PATH JULIA_DEPOT_PATH JULIA_HISTORY JULIA_PKGRESOLVE_ACCURACY External applications JULIA_SHELL J...

Environment Variables File locations JULIA_BINDIR JULIA_PROJECT JULIA_LOAD_PATH JULIA_DEPOT_PATH JULIA_HISTORY JULIA_PKGRESOLVE_ACCURACY External applications JULIA_SHELL J...