← Back to branch summary

~ubuntu-branches/ubuntu/utopic/agda-stdlib/utopic-proposed

« back to all changes in this revision

Viewing changes to README.agda

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 09:46:46 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805094646-zqd0c4m8ndngqg6x
Tags: 0.8-1
* [4ca6fd0] Update debian/watch to fetch tarballs from github
* [84d4313] Imported Upstream version 0.8
* [7b08243] debian/control: Require agda 2.4.x per upstream
* [37e7e10] debian/control: Standards-Version → 3.9.5, no changes required.
* [9051b9d] Run upstream's "GenerateEverything" script

Show diffs side-by-side

added added

removed removed

Lines of Context:
README.agda
1
1
module README where
2
2
 
3
3
------------------------------------------------------------------------
 
4
-- The Agda standard library, version 0.8
4
5
--
5
6
-- Author: Nils Anders Danielsson, with contributions from Andreas
6
7
-- Abel, Stevan Andjelkovic, Jean-Philippe Bernardy, Peter Berry,
 
8
-- Joachim Breitner, Samuel Bronson, Daniel Brown, James Chapman,
 
9
-- Liang-Ting Chen, Dominique Devriese, Dan Doel, Érdi Gergő, Helmut
 
10
-- Grohne, Simon Foster, Liyang Hu, Patrik Jansson, Alan Jeffrey,
 
11
-- Evgeny Kotelnikov, Eric Mertens, Darin Morrison, Guilhem Moulin,
 
12
-- Shin-Cheng Mu, Ulf Norell, Noriyuki OHKAWA, Nicolas Pouillard,
 
13
-- Andrés Sicard-Ramírez and Noam Zeilberger.
7
14
------------------------------------------------------------------------
8
15
 
 
16
-- This version of the library has been tested using Agda 2.4.0.
9
17
 
10
18
-- Note that no guarantees are currently made about forwards or
11
19
-- backwards compatibility, the library is still at an experimental
34
35
 
35
36
-- Contributions to this library are welcome (but to avoid wasted work
36
37
-- it is suggested that you discuss large changes before implementing
 
38
-- them). Please send contributions in the form of git pull requests, patch
 
39
-- bundles or ask for commmit rights to the repository.  It is appreciated if
 
40
-- every patch contains a single, complete change, and if the coding style used
 
41
-- in the library is adhered to.
37
42
 
38
43
------------------------------------------------------------------------
39
44
-- Module hierarchy