agda
所属分类：数值算法/人工智能
开发工具：Haskell
文件大小：7135KB
下载次数：0
上传日期：2023-05-31 06:50:17
上 传 者：
sh-1993
说明： Agda是一个依赖类型的编程语言交互式定理证明器。
(Agda is a dependently typed programming language interactive theorem prover.)
文件列表:
.authorspellings (2292, 2023-07-09)
.hlint.yaml (5010, 2023-07-09)
.mailmap (6504, 2023-07-09)
.readthedocs.yaml (845, 2023-07-09)
.travis.yml (4835, 2023-07-09)
.travis (0, 2023-07-09)
.travis\cabal_install (3017, 2023-07-09)
.travis\header.sh (3416, 2023-07-09)
.vscode (0, 2023-07-09)
.vscode\extensions.json (473, 2023-07-09)
Agda.cabal (32249, 2023-07-09)
CHANGELOG.md (15161, 2023-07-09)
HACKING.md (22543, 2023-07-09)
LICENSE (3641, 2023-07-09)
Makefile (28716, 2023-07-09)
... ...
Agda 2
======
[](http://hackage.haskell.org/package/Agda)
[](https://www.stackage.org/package/Agda)
[](https://github.com/agda/agda/actions?query=workflow%3A%22Build%2C+Test%2C+and+Benchmark%22)
[](https://github.com/agda/agda/actions?query=workflow%3A%22stack+build%22)
[](http://agda.readthedocs.io/en/latest/?badge=latest)
[](https://agda.zulipchat.com)
Note that this README is only about Agda, not its standard
library. See the [Agda Wiki][agdawiki] for information about the
library.
Documentation
-------------
* [User manual](http://agda.readthedocs.io)
(per-commit pdf can be downloaded from the
[github actions](https://github.com/agda/agda/actions?query=workflow%3A%22User+Manual%22) page)
* [CHANGELOG](https://github.com/agda/agda/blob/master/CHANGELOG.md)
Getting Started
----------------
* [Installation](https://agda.readthedocs.io/en/latest/getting-started/installation.html)
* [Quick guide to editing, type checking and compiling Agda
code](https://agda.readthedocs.io/en/latest/getting-started/a-taste-of-agda.html)
Contributing to Agda
--------------------
* Contribution how-to: [`HACKING`](https://github.com/agda/agda/blob/master/HACKING.md)
* [Haskell style-guide](https://github.com/andreasabel/haskell-style-guide/blob/master/haskell-style.md)
[agdawiki]: http://wiki.portal.chalmers.se/agda/pmwiki.php
近期下载者：
相关文件：
收藏者：