deb_control_files:
- conffiles
- control
- md5sums
deb_fields:
Architecture: all
Depends: libghc-agda-dev (>= 2.6.4.3), libghc-agda-dev (<< 2.6.4.4~)
Description: "standard library for Agda\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\xF6\
f. It has many similarities with other proof assistants based on\n dependent types,\
\ such as Coq, Epigram and NuPRL.\n .\n The Agda standard library contains modules\
\ for many common data structures and\n proof patterns. Modules provided include:\n\
\ - Algebra: Specifying and reasoning about abstract algebraic structures\n \
\ - Category: Using idioms from category theory to structure functional programs\n\
\ - Coinduction: Support for programming coindutively\n - Data: Data types and\
\ properties about data types\n - Foreign: Relating to the foreign function interface\n\
\ - Induction: A general framework for induction\n - IO: Input/output related\
\ functions\n - Level: Universe levels\n - Relations: Properties of and proofs\
\ about relations\n - Size: Sizes used by the sized types mechanism\n .\n This\
\ package contains the complete library."
Enhances: elpa-agda2-mode
Homepage: https://wiki.portal.chalmers.se/agda/
Installed-Size: '179107'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: agda-stdlib
Priority: optional
Section: libs
Version: 2.1-1
srcpkg_name: agda-stdlib
srcpkg_version: 2.1-1