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,它接受任何有效的文件名。 • 描述包内容的字段,= 其中至少有一个 奭 奯奤 奵 奬 奥 女 字段,对应的值为逗号分隔的模块列表。例如, 给定一个 奉 奤 奲 1 魔豆 | 224 页 | 2.06 MB | 2 年前3
firebird gstatFirebird Database Statistics Reporting Tool Norman Dunbar Version 1.6, 19 June 2020 Table of Contents 1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.7. Record & Version Details. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . password from file -r analyze average record and version length -t tablename(case sensitive) -z display version number option -t accepts several table names only if 10 魔豆 | 28 页 | 159.12 KB | 2 年前3
firebird isqlFirebird Interactive SQL Utility Kamala Vadlamani, Paul Vinkenoog, Norman Dunbar, Mark Rotteveel Version 1.0, 24 December 2021 Table of Contents 1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2. Version. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 19.25. SHOW VERsion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .10 魔豆 | 78 页 | 360.67 KB | 2 年前3
PostgreSQL 7.3.2 TutorialPostgreSQL? PostgreSQL is an object-relational database management system (ORDBMS) based on POSTGRES, Version 4.21, developed at the University of California at Berkeley Computer Science Department. The POSTGRES “demoware” system became opera- tional in 1987 and was shown at the 1988 ACM-SIGMOD Conference. Version 1, described in The im- plementation of POSTGRES, was released to a few external users in June 1989 (On Rules, Procedures, Caching and Views in Database Systems) and Version 2 was released in June 1990 with the new rule system. Version 3 appeared in 1991 and added support for multiple storage managers1 魔豆 | 40 页 | 280.71 KB | 2 年前3
云服务器 API 文档时间戳,可记录发起 API 请求的时间。例如 1529223702。注意:如果与服务器时间相差超过5分钟,会引起签名过期错误。 Version String 是 HTTP 请求头:X-TC-Version。操作的 API 的版本。取值参考接口文档中入参公共参数 Version 的 说明。例如云服务器的版本 2017-03-12。 Authorization String 是 HTTP 标准身份认证头部字段,例如: application/x-www-form-urlencoded Host: cvm.tencentcloudapi.com X-TC-Action: DescribeInstances X-TC-Version: 2017-03-12 X-TC-Timestamp: 1539084154 X-TC-Region: ap-guangzhou HTTP POST (application/json) Content-Type: application/json Host: cvm.tencentcloudapi.com X-TC-Action: DescribeInstances X-TC-Version: 2017-03-12 X-TC-Timestamp: 1527672334 X-TC-Region: ap-guangzhou {"Offset":0,"Limit":10}1 魔豆 | 445 页 | 15.44 MB | 3 年前3
PostgreSQL 9.4.26 Documentation...............................................................................413 15.1. Short Version ................................................................................................ .....................................................................................516 18.13. Version and Platform Compatibility...................................................................517 ...............................940 35.9.3. Version 0 Calling Conventions ................................................................943 35.9.4. Version 1 Calling Conventions .....................1 魔豆 | 2452 页 | 5.99 MB | 2 年前5
Firebird on UbuntuSetting up Firebird on Ubuntu Linux Rodney Gedda Marius Popa 14 May 2011 – Document version 2.3 2 Table of Contents Setting up Firebird on Ubuntu Linux .......................................... should also work with- out modification in the Debian GNU/Linux distribution (stable version named Squeeze and unstable version named Sid). Ubuntu is based on Debian core packages. Installing software with Ubuntu straightforward and Firebird is no exception. This guide is based on Ubuntu 10.04 LTS “Lucid Lynx”. The version of Firebird packaged with Ubuntu “Lucid Lynx” is 2.1.3 and is included by default and is the latest10 魔豆 | 8 页 | 38.97 KB | 2 年前3
PostgreSQL 15.3 DocumentationCode .............................................................................. 559 17.1. Short Version .......................................................................................... 559 17 Management .................................................................................. 689 20.13. Version and Platform Compatibility .......................................................... 690 vi PostgreSQL the development of the PostgreSQL software. It describes all the func- tionality that the current version of PostgreSQL officially supports. To make the large amount of information about PostgreSQL manageable0 魔豆 | 3063 页 | 13.45 MB | 2 年前3
Docker —— 从入门到实践-12202257====================== Package Arch Version Repository Size =========== versionlock status" to show it) Package 3:docker-ce-18.09.9-3.el7.x86_64 already installed and latest version Nothing to do 解锁指定软件 Linux 离线安装 - 48 - 本文档使用 看云 构建 sudo yum versionlock delete docker-ce Loaded macOS - 53 - 本文档使用 看云 构建 之后,你可以在终端通过命令检查安装后的 Docker 版本。 $ docker --version Docker version 20.10.0, build 7287ab3 如果 docker version 、 docker info 都正常的话,可以尝试运行一个 Nginx 服务器: $ docker run -d -p 80:80 --name1 魔豆 | 395 页 | 7.32 MB | 3 年前3
Docker —— 从入门到实践-12202257====================== Package Arch Version Repository Size =========== versionlock status" to show it) Package 3:docker-ce-18.09.9-3.el7.x86_64 already installed and latest version Nothing to do 解锁指定软件 Linux 离线安装 - 48 - 本文档使用 看云 构建 sudo yum versionlock delete docker-ce Loaded macOS - 53 - 本文档使用 看云 构建 之后,你可以在终端通过命令检查安装后的 Docker 版本。 $ docker --version Docker version 20.10.0, build 7287ab3 如果 docker version 、 docker info 都正常的话,可以尝试运行一个 Nginx 服务器: $ docker run -d -p 80:80 --name1 魔豆 | 395 页 | 7.32 MB | 3 年前3
共 31 条
- 1
- 2
- 3
- 4










