← Back to branch summary

~ubuntu-branches/ubuntu/quantal/agda-stdlib/quantal

« back to all changes in this revision

Viewing changes to README.txt

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2011-12-30 20:02:46 UTC
  • mfrom: (2.1.5 sid)
  • Revision ID: package-import@ubuntu.com-20111230200246-ut2up5hs0d39t4la
Tags: 0.6-1
* [a88bdc0] Imported Upstream version 0.6
* [7aea5f2] Update copyright for new copyright holders and for new DEP5

Show diffs side-by-side

added added

removed removed

Lines of Context:
README.txt
1
 
------------------------------------------------------------------------
2
 
The Agda standard library
3
 
------------------------------------------------------------------------
4
 
 
5
 
For information about the library, see README.agda.
6
 
 
7
 
The README module imports the Everything module. This module is
8
 
generated automatically; if you have downloaded the library from its
9
 
darcs repository and want to type check README you can construct
10
 
Everything by running "cabal install && GenerateEverything".
11
 
 
12
 
Note that all library sources are located under src or ffi. The
13
 
modules README, README.* and Everything are not really part of the
14
 
library, so these modules are located in the top-level directory
15
 
instead.