summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md11
1 files changed, 10 insertions, 1 deletions
diff --git a/README.md b/README.md
index 146652e..2e5d95b 100644
--- a/README.md
+++ b/README.md
@@ -1,10 +1,13 @@
Agda 2
======
-[![Hackage](https://img.shields.io/hackage/v/Agda.svg)](http://hackage.haskell.org/package/Agda) [![Build Status](https://travis-ci.org/agda/agda.svg?branch=master)](https://travis-ci.org/agda/agda)
+[![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 Status](https://travis-ci.org/agda/agda.svg?branch=stable-2.5)](https://travis-ci.org/agda/agda)
Table of contents:
+* [Documentation](#documentation)
* [Prerequisites](#prerequisites)
* [Installing Agda](#installing-agda)
* [Configuring the Emacs mode](#configuring-the-emacs-mode)
@@ -13,6 +16,11 @@ Table of contents:
Note that this README only discusses installation of Agda, not its standard
library. See the [Agda Wiki][agdawiki] for information about the library.
+Documentation
+-------------
+
+* [User manual](http://agda.readthedocs.io)
+* [CHANGELOG](https://github.com/agda/agda/blob/master/CHANGELOG.md)
Prerequisites
-------------
@@ -23,6 +31,7 @@ You need recent versions of the following programs/libraries:
* cabal-install: http://www.haskell.org/cabal/
* Alex: http://www.haskell.org/alex/
* Happy: http://www.haskell.org/happy/
+* cpphs: http://projects.haskell.org/cpphs/
* GNU Emacs: http://www.gnu.org/software/emacs/
You should also make sure that programs installed by cabal-install are