UbuntuUpdates.org

Package "libghc-agda-dev"

Name: libghc-agda-dev

Description:

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

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "libghc-agda-dev"

32-bit deb package
64-bit deb package
APT INSTALL

Other versions of "libghc-agda-dev" in Precise

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

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