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

agda-stdlib_0.3.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:agda-stdlib_0.3.orig.tar.gz

/agda-stdlib-0.3/README.agda

module README where

------------------------------------------------------------------------
-- The Agda standard library, version 0.3
--
-- Author: Nils Anders Danielsson, with contributions from
-- Jean-Philippe Bernardy, Samuel Bronson, Liang-Ting Chen, Dan Doel,
-- Patrik Jansson, Darin Morrison, Shin-Cheng Mu, Ulf Norell, Nicolas
-- Pouillard and Andrés Sicard-Ramírez
---------------------
more»

/agda-stdlib-0.3/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»

/agda-stdlib-0.3/release-notes

------------------------------------------------------------------------
Version 0.3
------------------------------------------------------------------------

Version 0.3 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.6.

Note that no guarantees are made about backwar
more»

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

         [DIR]agda-stdlib-0.3/ (12)

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

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