PLFA项目使用指南

PLFA项目使用指南

plfa.github.io An introduction to programming language theory in Agda 项目地址: https://gitcode.com/gh_mirrors/pl/plfa.github.io

1. 项目目录结构及介绍

PLFA项目的目录结构如下:

plfa/
├── book/
├── courses/
│   └── TSPL/
├── data/
├── extra/
├── papers/
├── src/
├── standard-library/
├── tools/
└── web/
    ├── dir-locals.el
    ├── epubcheck.tsv
    ├── .gitignore
    ├── .gitmodules
    ├── htmlvalidate.json
    ├── htmlvalidateignore
    ├── .nojekyll
    ├── pre-commit-config.yaml
    ├── python-version
    ├── ruby-version
    ├── CONTRIBUTING.md
    ├── Gemfile
    ├── LICENSE
    ├── Makefile
    ├── README.md
    ├── bumpver.toml
    ├── cabal.project
    ├── hie.yaml
    ├── package-lock.json
    ├── package.json
    ├── plfa.cabal
    └── requirements-dev.txt

目录介绍

  • book/: 包含项目的书籍内容。
  • courses/TSPL/: 包含与项目相关的课程内容。
  • data/: 包含项目的数据文件。
  • extra/: 包含额外的资源或文档。
  • papers/: 包含与项目相关的论文或研究资料。
  • src/: 包含项目的源代码。
  • standard-library/: 包含Agda标准库的代码。
  • tools/: 包含项目使用的工具或脚本。
  • web/: 包含项目的网页相关文件,如配置文件、构建脚本等。

2. 项目启动文件介绍

项目的启动文件主要是Makefile,它包含了项目的构建和启动命令。通过运行make命令,可以启动项目的构建过程。

make

3. 项目配置文件介绍

3.1 Makefile

Makefile 是项目的构建文件,包含了项目的构建规则和命令。通过运行make命令,可以执行构建过程。

3.2 cabal.project

cabal.project 是Cabal项目的配置文件,用于管理项目的依赖和构建配置。

3.3 hie.yaml

hie.yaml 是Haskell IDE Engine的配置文件,用于配置IDE的代码分析和自动补全功能。

3.4 package.json

package.json 是Node.js项目的配置文件,包含了项目的依赖和脚本命令。

3.5 Gemfile

Gemfile 是Ruby项目的配置文件,用于管理Ruby的依赖包。

3.6 .gitignore

.gitignore 文件用于指定Git版本控制系统忽略的文件和目录。

3.7 .gitmodules

.gitmodules 文件用于配置Git子模块,管理项目的依赖子模块。

3.8 htmlvalidate.json

htmlvalidate.json 是HTML验证工具的配置文件,用于配置HTML文件的验证规则。

3.9 pre-commit-config.yaml

pre-commit-config.yaml 是预提交钩子的配置文件,用于在提交代码前执行自动化检查和测试。

3.10 CONTRIBUTING.md

CONTRIBUTING.md 文件包含了项目的贡献指南,指导开发者如何参与项目的开发和贡献。

3.11 LICENSE

LICENSE 文件包含了项目的开源许可证信息,规定了项目的使用和分发条款。

3.12 README.md

README.md 文件是项目的介绍文档,包含了项目的概述、安装和使用说明。

通过以上配置文件,可以对PLFA项目进行详细的配置和管理,确保项目的正常运行和开发。

plfa.github.io An introduction to programming language theory in Agda 项目地址: https://gitcode.com/gh_mirrors/pl/plfa.github.io

基于STM32设计的数字示波器全套资料(原理图、PCB图、源代码) 硬件平台: 主控器:STM32F103ZET6 64K RAM 512K ROM 屏幕器:SSD1963 分辨率:480*272 16位色 触摸屏:TSC2046 模拟电路: OP-TL084 OP-U741 SW-CD4051 CMP-LM311 PWR-LM7805 -LM7905 -MC34063 -AMS1117-3.3 DRT-ULN2003 6.继电器:信号继电器 7.电源:DC +12V 软件平台: 开发环境:RealView MDK-ARM uVision4.10 C编译器:ARMCC ASM编译器:ARMASM 连机器:ARMLINK 实时内核:UC/OS-II 2.9实时操作系统 GUI内核:uC/GUI 3.9图形用户接口 底层驱动:各个外设驱动程序 数字示波器功能: 波形发生器:使用STM32一路DA实现正弦,三角波,方波,白噪声输出。 任意一种波形幅值在0-3.3V任意可调、频率在一定范围任意可调、方波占空比可调。调节选项可以通过触摸屏完成设置。 SD卡存储: SD卡波形存储输出,能够对当前屏幕截屏,以JPG格式存储在SD卡上。能够存储1S内的波形数据,可以随时调用查看。 数据传输:用C#编写上位机,通过串口完成对下位机的控制。(1)实现STOP/RUN功能(2)输出波形电压、时间参数(3)控制截屏(4)控制波形发生器(5)控制完成FFT(6)波形的存储和显示 图形接口: UCGUI 水平扫速: 250 ns*、500ns、1μs、5 μs、10μs、50μs、500 μs、5ms 、50ms 垂直电压灵敏度:10mV/div, 20mV/div, 50mV/div, 0.1V/div, 0,2V/div, 0.5V/div, 1V/div,2V/
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

戴洵珠Gerald

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值