deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Description: "dependently typed functional programming language\n Agda is a dependently\
\ typed functional programming language: It has inductive\n families, which are\
\ like Haskell's GADTs, but they can be indexed by values and\n not just types.\
\ It also has parameterised modules, mixfix operators, Unicode\n characters, and\
\ an interactive Emacs interface (the type checker can assist in\n the development\
\ of your code).\n .\n Agda is also a proof assistant: It is an interactive system\
\ for writing and\n checking proofs. Agda is based on intuitionistic type theory,\
\ a foundational\n system for constructive mathematics developed by the Swedish\
\ logician Per\n Martin-L\xF6f. It has many similarities with other proof assistants\
\ based on\n dependent types, such as Coq, Epigram and NuPRL.\n .\n This is a\
\ meta package which provides Agda's emacs mode, executable, standard\n library\
\ and its documentation."
Homepage: https://wiki.portal.chalmers.se/agda/
Installed-Size: '20'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: agda
Priority: optional
Section: misc
Version: 2.6.4.3-1
srcpkg_name: agda
srcpkg_version: 2.6.4.3-1