Idris 语言文档 Version 1.3.1在命令行中输入 idris 来启动交互式环境。你会看到如下内容: $ idris ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Version 1.3.1 _/ // /_/ / / / (__ ) http://www.idris-lang.org/ /___/\__,_/_/ /_/____/ Type :? for help Idris> 以提升未来的加载速度。在源文件被修改之后,字节码会 重新生成。 $ idris hello.idr ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Version 1.3.1 _/ // /_/ / / / (__ ) http://www.idris-lang.org/ /___/\__,_/_/ /_/____/ Type :? for help Type 描述 述 述 包的描述包含以下内容: • 包头,由关键字 package 后跟一个包名构成。包名可以是任何有效的 奉 奤 奲 奩 女 标识符。 奩 奐 奋 奇 格式 也可包含一个带引号的 version,它接受任何有效的文件名。 • 描述包内容的字段,= 其中至少有一个 奭 奯奤 奵 奬 奥 女 字段,对应的值为逗号分隔的模块列表。例如, 给定一个 奉 奤 奲 0 码力 | 224 页 | 2.06 MB | 1 年前3
Debian打包教程 version 0.29Debian 打包教程 Lucas Nussbaum packaging-tutorial@packages.debian.org version 0.29 – 2021-11-03 Debian 打包教程 1 / 90 关于该教程 ▶ 目标:告诉你关于 Debian 打包必须知道的知识 ▶ 修改现有软件包 ▶ 创建你自己的软件包 ▶ 在 Debian 社区内与人交流 ▶ 成为 Debian (dpkg, apt) ▶ 非原生软件包:在 Debian 之外开发的软件 ▶ 主要文件: .dsc(元数据) ▶ 与源码格式版本相关的其他文件 ▶ 1.0 或 3.0(原生):package_version.tar.gz ▶ 1.0(非原生): ▶ pkg_ver.orig.tar.gz: 上游源代码 ▶ pkg_debver.diff.gz: 专为 Debian 准备的更新补丁 ▶ 3.0(quilt) Source: wget Binary: wget Architecture: any Version: 1.12-2.1 Maintainer: Noel KotheHomepage: http://www.gnu.org/software/wget/ Standards -Version: 3.8.4 Build-Depends: debhelper (>> 5.0 0 码力 | 90 页 | 663.35 KB | 1 年前3
使用 PlantUML 绘制 UML - PlantUML 语言参考指引(Version 1.2021.2)使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2021.2) PlantUML 是一个开源项目,支持快速绘制: • 时序图 • 用例图 • 类图 • 对象图 • 活动图 • 组件图 • 部署图 • 状态图 • 定时图 同时还支持以下非 UML 图: • JSON Data • YAML Data • Network diagram Else you need to find the sprites that interest you and include them one by one. Unfortunately, the version of a collection included in StdLib often does not have such all files, so as you see above we include %variable_exists("$my_variable") true if the variable has been defined exists %version Return PlantUML current version %version() 1.2020.08 for example 25.14 Logging [!log] You can use !log to add some0 码力 | 381 页 | 4.05 MB | 1 年前3
使用 PlantUML 绘制 UML - PlantUML 语言参考指引(Version 1.2019.6)使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2019.6) PlantUML 是一个开源项目,支持快速绘制: • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • 线框图形界面 • 架构图 • 规范和描述语言 (SDL) • Ditaa0 码力 | 174 页 | 1.98 MB | 1 年前3
使用 PlantUML 绘制 UML - PlantUML 语言参考指引(Version 1.2019.9)使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2019.9) PlantUML 是一个开源项目,支持快速绘制: • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • 线框图形界面 • 架构图 • 规范和描述语言 (SDL) • Ditaa0 码力 | 174 页 | 2.00 MB | 1 年前3
使用 PlantUML 绘制 UML - PlantUML 语言参考指引(Version 1.2019.1)使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2019.1) PlantUML 是一个开源项目,支持快速绘制: • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • 线框图形界面 • 架构图 • 规范和描述语言 (SDL) • Ditaa0 码力 | 146 页 | 1.91 MB | 1 年前3
使用 PlantUML 绘制 UML - PlantUML 语言参考指引(Version 1.2019.4)使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2019.4) PlantUML 是一个开源项目,支持快速绘制: • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • 线框图形界面 • 架构图 • 规范和描述语言 (SDL) • Ditaa0 码力 | 165 页 | 1.89 MB | 1 年前3
使用 PlantUML 绘制 UML - PlantUML 语言参考指引(Version 1.2020.23)使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2020.23) PlantUML 是一个开源项目,支持快速绘制: • 时序图 • 用例图 • 类图 • 活动图 • 组件图 • 状态图 • 对象图 • 部署图 • 定时图 同时还支持以下非 UML 图: • JSON Data • 线框图形界面 • 架构图 • 规范和描述语言 Else you need to find the sprites that interest you and include them one by one. Unfortunately, the version of a collection included in StdLib often does not have such all files, so as you see above we include %variable_exists("$my_variable") true if the variable has been defined exists %version Return PlantUML current version %version() 1.2020.08 for example 20.14 Logging [!log] You can use !log to add some0 码力 | 307 页 | 3.17 MB | 1 年前3
使用 PlantUML 绘制 UML - PlantUML 语言参考指引(Version 1.2023.11)使用 PlantUML 绘制的 UML PlantUML 语言参考指引 (Version 1.2023.11) PlantUML 是一个开源项目,支持快速绘制: • 时序图 • 用例图 • 类图 • 对象图 • 活动图 • 组件图 • 部署图 • 状态图 • 定时图 同时还支持以下非 UML 图: • JSON Data • YAML Data • Network diagram and intuitive way to design these diagrams using plain text, ensuring rapid iterations and easy version control. Moreover, the [PlantUML forum](https:forum.plantuml.net/) provides a vibrant community where hassle of manual drawing. • Efficiency and Consistency: Ensure streamlined diagram creation and easy version control. • Versatility: Integrate with various documentation platforms and support multiple output0 码力 | 539 页 | 7.74 MB | 1 年前3
FISCO BCOS 2.3.0 中文文档BCOS/releases/tag/v1.5.0-pre-release] 查看节点和数据版本 查看节点二进制版本:./fisco-bcos --version 数据格式和通信协议的版本:通过配置文件 config.ini的 supported_version配置项 获取 v2.3.0 [https://github.com/FISCO- BCOS/FISCO-BCOS/releases/tag/v2 , "Chain Id":"1", "FISCO-BCOS Version":"2.3.0", "Git Branch":"HEAD", "Git Commit Hash":"b8b62664d1b1f0ad0489bc4b3833bf730deee492", "Supported Version":"2.3.0" } # 获取节点链接信息 [group:1]> getPeers jsonrpc_port from 8545 -vversion> Default get version from https://github.com/FISCO-BCOS/FISCO-BCOS/releases. If set, use specificd version binary -s 0 码力 | 1227 页 | 10.79 MB | 1 年前3
共 638 条
- 1
- 2
- 3
- 4
- 5
- 6
- 64













