Idris 语言文档 Version 1.3.1下 下载 载 载并 并 并安 安 安装 装 装 如果你满足所有的前提需求,那么安装 奉 奤 奲 奩 女 的最简方式就是在命令行输入: cabal update; cabal install idris 这会安装 奈奡奣 奫 奡奧奥 中的最新版本及其所有依赖。如果你想要最新开发版的话, 可以在 奇 奩 奴 奈奵 奢 上找到 它, 然后根据构建指令来安装。 如果你之前从未安装过使用 奃 奡奢 奡奬 奥 奬 奬 ,那会很清楚这段程序在做什么,是如何做的; 如果你对它感到陌生,我们稍后会 详细地解释。你可以在命令行中输入 idris hello.idr -o hello 来将程序编译成可执行文件。 这会 创建一个名为 hello 的可执行文件,你可以运行它: $ idris hello.idr -o hello $ ./hello Hello world 请注意,美元符号 $ 表示命令行。下面是一些常用的 交互 互 互式 式 式环 环 环境 境 境 在命令行中输入 idris 来启动交互式环境。你会看到如下内容: $ idris ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Version 1.3.1 _/ // /_/ / / / (__ ) http://www.idris-lang.org/ /___/\__,_/_/ /_/____/0 码力 | 224 页 | 2.06 MB | 1 年前3
Apache Shiro 1.2.x Reference Manual 中文翻译1.5 4 4.1 4.2 4.3 4.4 5 5.1 5.2 5.3 6 目錄 介紹 I. Overview 总览 1. Introduction 介绍 2. Tutorial 教程 3. Architecture 架构 4. Configuration 配置 II. Core 核心 5. Authentication 认证 6. Authorization Line Hasher VII. Index 目录 19. Terminology 术语 VIII. Other 其他 20. 10 Minute Tutorial 十分钟教程 21. Beginner's Webapp Tutorial 初学者web应用教程 22. Application Security With Apache Shiro 用Shiro保护你的应用安全 23. CacheManager session 记录用户的身份,只有在强制需要时才需要登录。 Apache Shiro 1.2.x Reference Manual 中文翻译 7 1. Introduction 介绍 2. Tutorial 教程 Your First Apache Shiro Application 第一个 Shiro 应用 如果你是 Apache Shiro 新手,这个简短的教程将向您展示如何通过Apache0 码力 | 196 页 | 2.34 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 install --no-install-recommends devscripts fakeroot 2 新建工作目录文件夹,并进入 mkdir /tmp/debian-tutorial ; cd /tmp/debian-tutorial 3 获取 dash 的源码包 apt-get source dash (需要在 /etc/apt/sources.list 文件里加上 deb-src 的相关地址内容) 打包有了一个完整的大致印象 ▶ 但你还需要阅读更多说明文档 ▶ 最好的打包实操方法经过了多年的优化 ▶ 如果不确定,就用 dh 打包助手,以及 3.0 (quilt) 格式 反馈:packaging-tutorial@packages.debian.org Debian 打包教程 58 / 90 合规信息 版权所有 ©2011–2019 Lucas Nussbaum – lucas@debian.org0 码力 | 90 页 | 663.35 KB | 1 年前3
Kotlin 1.9.10 官方文档 中文版
Multiplatform and create a mobile app that works on both Android and iOS by completing these steps: This tutorial describes how to share application logic between iOS and Android using Kotlin Multiplatform. To make it work on iOS: Set up an environment for cross-platform mobile development Complete this tutorial to make your Android app cross-platform Join the community Kotlin Slack: get an invitation and Multiplatform 搭建环境 This is the first part of the Getting started with Kotlin Multiplatform for mobile tutorial: Set up an environment Create your first cross-platform app Update the user interface Add0 码力 | 3753 页 | 29.69 MB | 1 年前3
Apache Shiro参考手册中文版As":一个允许用户假设为另一个用户身份(如果允许)的功能,有时候在管理脚本很有用。 "Remember Me":在会话中记住用户的身份,所以他们只需要在强制时候登录。 Apache Shiro Tutorial Your First Apache Shiro Application 如果你从未使用过 Apache Shiro,这个简短的教程将会向您展示如何建立一个由 Apache Shiro Maven 2.2.1 或更高版本。你应该能够键入 mvn -version 命令行提示符,并看到与 下面类似的东西: 现在,在你的文件系统上创建一个新的目录,例如,shiro-tutorial 并在该目录下保存下面的 Maven pom.xml 文件: pom.xml0 码力 | 92 页 | 1.16 MB | 1 年前 3
Kotlin 官方文档中文版 v1.9Multiplatform and create a mobile app that works on both Android and iOS by completing these steps: This tutorial describes how to share application logic between iOS and Android using Kotlin Multiplatform. To make it work on iOS: Set up an environment for cross-platform mobile development Complete this tutorial to make your Android app cross-platform Join the community Kotlin Slack: get an invitation and 多平台移动端入门 625 搭建环境 This is the first part of the Getting started with Kotlin Multiplatform for mobile tutorial: Set up an environment Create your first cross-platform app Update the user interface Add0 码力 | 2049 页 | 45.06 MB | 1 年前3
KiCad 6.0 快速入门 Contents KiCad 简介 下载和安装 KiCad 支持 Basic Concepts and Workflow PCB Design Workflow Tutorial Part 1: Project Tutorial Part 2: Schematic Symbol Library Table Setup Schematic Editor Basics Schematic Sheet Schematic Annotation, Symbol Properties, and Footprints Electrical Rules Check Bill of Materials Tutorial Part 3: Circuit Board PCB Editor Basics Board Setup and Stackup Importing Changes From Schematic Footprints Routing Tracks Placing Copper Zones Design Rule Checking 3D Viewer Fabrication Outputs Tutorial Part 4: Custom Symbols and Footprints Library and Library Table Basics Creating New Global or0 码力 | 54 页 | 2.47 MB | 1 年前3
FISCO BCOS 2.1.0 中文文档配 合,搭建区块链。 节点组网拓扑结构 一个如图所示的6节点3机构2群组的组网模式。机构B和机构C分别位于群组1 和群组2中。机构A同属于群组1和群组2中。 ../../_images/tutorial_step_2.png 机器环境 每个节点的IP,端口号为如下: 机构 节点 所属群组 P2P地址 RPC/channel监听地址 机构A 节点0 群组1、2 127.0.0.1:30300 B/nodeB/node_127.0.0.1_30302/fisco-bcos -c config.ini 查看节点log: 至此,我们完成了如图所示机构A、B搭建群组1的操作: ../../_images/tutorial_step_1.png 证书授权机构初始化机构C 在证书生成机构目录下操作: 初始化机构C,请注意,此时generator目录下有链证书及私钥,实际环境中机 构C无法获取链证书及私钥。 /nodeA/start_all.sh 查看节点进程: 查看节点log: 在~/generator-C目录下执行下述命令 至此,我们完成了如图所示的机构A、C搭建群组2构建: ../../_images/tutorial_step_2.png 扩展教程–机构C节点加入群组1 将节点加入已有群组需要用户使用控制台发送指令,将节点加入群组,示例 如下: 此时群组1内有机构A、B的节点,机构C节点加入群组1需要经过群组内节点0 码力 | 1058 页 | 740.85 KB | 1 年前3
FISCO BCOS 2.3.0 中文文档ocs/installation.html] 教程 [https://fisco-bcos-documentation.readthedocs.io/zh_CN/release-2/docs/tutorial/index.html] 使用手册 [https://fisco-bcos-documentation.readthedocs.io/zh_CN/release- 2/docs/manual/index and items, Node access, Parallel transactions, Distributed storage, OSCCA computing in Operation Tutorial Console:Interactive command tool to visit blockchain nodes and check status, deploy or call contract Multi-group: Quick Guide Operation Tutorial Design Documentation Parallel computing: Operation Tutorial Design documentation Distributed storage: Operation Tutorial Design documentation 重要 This technical0 码力 | 1227 页 | 10.79 MB | 1 年前3
FISCO BCOS 2.2.0 中文文档ocs/installation.html] 教程 [https://fisco-bcos-documentation.readthedocs.io/zh_CN/release-2/docs/tutorial/index.html] 使用手册 [https://fisco-bcos-documentation.readthedocs.io/zh_CN/release- 2/docs/manual/index and items, Node access, Parallel transactions, Distributed storage, OSCCA computing in Operation Tutorial Console:Interactive command tool to visit blockchain nodes and check status, deploy or call contract Multi-group: Quick Guide Operation Tutorial Design Documentation Parallel computing: Operation Tutorial Design documentation Distributed storage: Operation Tutorial Design documentation 重要 This technical0 码力 | 1156 页 | 10.03 MB | 1 年前3
共 165 条
- 1
- 2
- 3
- 4
- 5
- 6
- 17













