File: README.md

package info (click to toggle)
agda 2.8.0-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 8,552 kB
  • sloc: haskell: 106,221; lisp: 3,882; yacc: 1,665; javascript: 599; perl: 15; makefile: 8
file content (37 lines) | stat: -rw-r--r-- 1,741 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
 
Agda 2
======

[![Hackage version](https://img.shields.io/hackage/v/Agda.svg?label=Hackage)](http://hackage.haskell.org/package/Agda)
[![Stackage version](https://www.stackage.org/package/Agda/badge/lts?label=Stackage)](https://www.stackage.org/package/Agda)
[![Build, Test, and Benchmark](https://github.com/agda/agda/actions/workflows/test.yml/badge.svg)](https://github.com/agda/agda/actions/workflows/test.yml)
[![Documentation Status](https://readthedocs.org/projects/agda/badge/?version=latest)](http://agda.readthedocs.io/en/latest/?badge=latest)
[![Agda Zulip](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://agda.zulipchat.com)

![The official Agda logo](https://raw.githubusercontent.com/agda/agda/master/doc/user-manual/agda.svg)

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/workflows/user_manual.yml) 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