← Back to branch summary

~ubuntu-branches/ubuntu/raring/agda-stdlib/raring

« back to all changes in this revision

Viewing changes to release-notes

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2013-04-10 10:30:20 UTC
  • mfrom: (2.1.7 experimental)
  • Revision ID: package-import@ubuntu.com-20130410103020-bcspfz3whyy5iafu
Tags: 0.7-1
* [6d52289] Imported Upstream version 0.7
* [54104d0] Update Depends and Build-Depends for this version, compatible
  with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required

Show diffs side-by-side

added added

removed removed

Lines of Context:
release-notes
1
1
------------------------------------------------------------------------
 
2
Version 0.7
 
3
------------------------------------------------------------------------
 
4
 
 
5
Version 0.7 of the standard library has now been released, see
 
6
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
 
7
 
 
8
The library has been tested using Agda version 2.3.2.
 
9
 
 
10
Note that no guarantees are made about backwards or forwards
 
11
compatibility, the library is still at an experimental stage.
 
12
 
 
13
If you want to compile the library using the MAlonzo compiler, then
 
14
you should first install some supporting Haskell code, for instance as
 
15
follows:
 
16
 
 
17
  cd ffi
 
18
  cabal install
 
19
 
 
20
Currently the library does not support the Epic or JavaScript compiler
 
21
backends.
 
22
 
 
23
-------------------------------------------------------------------
2
24
Version 0.6
3
25
------------------------------------------------------------------------
4
26