UbuntuUpdates.org

Package "agda"

Name: agda

Description:

dependently typed functional programming language
Latest version: 2.3.0.1-1build2
Release: precise (12.04)
Level: base
Repository: universe
Homepage: http://wiki.portal.chalmers.se/agda/

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "agda"

All arch deb package
APT INSTALL

Other versions of "agda" in Precise

No other version of this package is available in the Precise release.

Packages in group

Deleted packages are displayed in grey.


Changelog

Version: 2.3.0-1build1 2012-01-04 02:03:34 UTC

agda (2.3.0-1build1) precise; urgency=low

  * No-change rebuild for GHC ABIs

 -- Iain Lane Wed, 04 Jan 2012 00:27:08 +0000
Source diff to previous version

Version: 2.3.0-1 2011-12-18 16:05:00 UTC

agda (2.3.0-1) unstable; urgency=low

  * [c0e4746] Imported Upstream version 2.3.0. New/changed features include:
    + New more liberal syntax for mutually recursive definitions
    + Pattern matching on lambdas
    + New syntax for updating (some fields of) records
    + Universe polymorphism is now enabled by default
    + New type of hidden function argument: instance arguments
    + Dependent irrelevant function types and records with irrelevant fields
    + See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-0
      for a full list
  * [369ed3a] Update BDs in line with cabal requirements in new upstream
  * [3798aee] Remove all patches. They are all now upstream.

 -- Iain Lane Wed, 23 Nov 2011 10:12:59 +0000

Version: *DELETED* 2011-12-18 14:04:17 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates