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
Precise release on 2012-03-18 universe haskell


File Size SHA-256 Checksum
agda-bin_2.3.0.1-1.dsc 1.3 KiB c9f43888cb808ac4ff9c93de850fdbac760108f1afd495d5666c82485d8830e2
agda-bin_2.3.0.1.orig.tar.gz 1.7 KiB 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694
agda-bin_2.3.0.1-1.diff.gz 2.9 KiB 90a69a575cf80e327050b0762f5f29b291fc9df003ada748e36e95648491c0a5

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.