agda-bin source package in Ubuntu


agda-bin ( unstable; urgency=low

  * New upstream release 

 -- Joachim Breitner <email address hidden>  Mon, 12 Mar 2012 14:31:48 +0100

Upload details

Uploaded by:
Debian Haskell Group on 2012-03-12
Uploaded to:
Original maintainer:
Debian Haskell Group
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Quantal release on 2012-04-26 universe haskell
Precise release on 2012-03-18 universe haskell


File Size MD5 Checksum
agda-bin_2.3.0.1-1.dsc 1.3 KiB 325fcd82ee1de93563493ee7f6f5cc1b
agda-bin_2.3.0.1.orig.tar.gz 1.7 KiB a9c803f0a829cf54d35b1a82f0ba6181
agda-bin_2.3.0.1-1.diff.gz 2.9 KiB 112223eebe7ed70bcae66a2a008e9077

Available diffs

No changes file available.

Binary packages built by this source

agda-bin: commandline interface to Agda

 Agda is a dependently typed functional programming language: It has inductive
 families, which are like Haskell's GADTs, but they can be indexed by values and
 not just types. It also has parameterised modules, mixfix operators, Unicode
 characters, and an interactive Emacs interface (the type checker can assist in
 the development of your code).
 Agda is also a proof assistant: It is an interactive system for writing and
 checking proofs. Agda is based on intuitionistic type theory, a foundational
 system for constructive mathematics developed by the Swedish logician Per
 Martin-Löf. It has many similarities with other proof assistants based on
 dependent types, such as Coq, Epigram and NuPRL.
 This package provides a command-line program for type-checking and compiling
 Agda programs. The program can also generate hyperlinked, highlighted HTML
 files from Agda sources.