Filewatcher File Search File Search
Catalog
Content Search
» » » »

agda-stdlib_0.5.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Ubuntu
Filename:agda-stdlib_0.5.orig.tar.gz

/lib-0.5/README.agda

module README where

------------------------------------------------------------------------
-- The Agda standard library
--
-- Author: Nils Anders Danielsson, with contributions from
-- Jean-Philippe Bernardy, Peter Berry, Samuel Bronson, Daniel Brown,
-- Liang-Ting Chen, Dominique Devriese, Dan Doel, Simon Foster, Patrik
-- Jansson, Darin Morrison, Shin-Cheng Mu, Ulf Norell, Nicolas
-- Pouillar
more»

/lib-0.5/README.txt

------------------------------------------------------------------------
The Agda standard library
------------------------------------------------------------------------

For information about the library, see README.agda.

The README module imports the Everything module. This module is
generated automatically; if you have downloaded the library from its
darcs repository and want to type check R
more»

/lib-0.5/release-notes

------------------------------------------------------------------------
Version 0.5
------------------------------------------------------------------------

Version 0.5 of the standard library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.

The library has been tested using Agda version 2.2.10.

Note that no guarantees are made about backwa
more»

Browse inside agda-stdlib_0.5.orig.tar.gz

         [DIR]lib-0.5/ (14)

Download agda-stdlib_0.5.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com