deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Description: "standard library for Agda \u2014 documentation\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 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 hyperlinked library documentation."
Homepage: https://wiki.portal.chalmers.se/agda/
Installed-Size: '52023'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Multi-Arch: foreign
Package: agda-stdlib-doc
Priority: optional
Section: doc
Source: agda-stdlib
Suggests: agda-stdlib
Version: 2.1-1
srcpkg_name: agda-stdlib
srcpkg_version: 2.1-1