Package: libghc-agda-dev (2.6.4.3-1)

[ Source: agda  ]

dependently typed functional programming language

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 library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-agda-dev

• dep: libc6 (>= 2.29)

  Biblioteca de C de GNU: Bibliotecas compartidas
  also a virtual package provided by libc6-udeb

• dep: libghc-aeson-dev-2.1.2.1-198c2

  virtual package provided by libghc-aeson-dev

• dep: libghc-ansi-terminal-dev-1.0.2-7693e

  virtual package provided by libghc-ansi-terminal-dev

• dep: libghc-array-dev-0.5.6.0-65c23

  virtual package provided by ghc

• dep: libghc-async-dev-2.2.5-f4ffe

  virtual package provided by libghc-async-dev

• dep: libghc-base-dev-4.18.2.1-b7e3b

  virtual package provided by ghc

• dep: libghc-binary-dev-0.8.9.1-c57f3

  virtual package provided by ghc

• dep: libghc-blaze-html-dev-0.9.2.0-02d72

  virtual package provided by libghc-blaze-html-dev

• dep: libghc-boxes-dev-0.1.5-3094f

  virtual package provided by libghc-boxes-dev

• dep: libghc-bytestring-dev-0.11.5.3-8a5b1

  virtual package provided by ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-a6380

  virtual package provided by libghc-case-insensitive-dev

• dep: libghc-containers-dev-0.6.7-69002

  virtual package provided by ghc

• dep: libghc-data-hash-dev-0.2.0.1-8c359

  virtual package provided by libghc-data-hash-dev

• dep: libghc-deepseq-dev-1.4.8.1-f9583

  virtual package provided by ghc

• dep: libghc-directory-dev-1.3.8.5-aca59

  virtual package provided by ghc

• dep: libghc-dlist-dev-1.0-d3ec3

  virtual package provided by libghc-dlist-dev

• dep: libghc-edit-distance-dev-0.2.2.1-79404

  virtual package provided by libghc-edit-distance-dev

• dep: libghc-equivalence-dev-0.4.1-2b83e

  virtual package provided by libghc-equivalence-dev

• dep: libghc-exceptions-dev-0.10.7-fdf92

  virtual package provided by ghc

• dep: libghc-filepath-dev-1.4.300.1-daa7f

  virtual package provided by ghc

• dep: libghc-ghc-compact-dev-0.1.0.0-cab1d

  virtual package provided by ghc

• dep: libghc-gitrev-dev-1.3.1-ab031

  virtual package provided by libghc-gitrev-dev

• dep: libghc-hashable-dev-1.4.4.0-2c563

  virtual package provided by libghc-hashable-dev

• dep: libghc-haskeline-dev-0.8.2.1-a290a

  virtual package provided by ghc

• dep: libghc-monad-control-dev-1.0.3.1-b8be8

  virtual package provided by libghc-monad-control-dev

• dep: libghc-mtl-dev-2.3.1-f8119

  virtual package provided by ghc

• dep: libghc-murmur-hash-dev-0.1.0.10-a6d01

  virtual package provided by libghc-murmur-hash-dev

• dep: libghc-parallel-dev-3.2.2.0-b88e1

  virtual package provided by libghc-parallel-dev

• dep: libghc-peano-dev-0.1.0.2-b239f

  virtual package provided by libghc-peano-dev

• dep: libghc-pretty-dev-1.1.3.6-d6a01

  virtual package provided by ghc

• dep: libghc-process-dev-1.6.19.0-48ee2

  virtual package provided by ghc

• dep: libghc-regex-tdfa-dev-1.3.2.2-61d30

  virtual package provided by libghc-regex-tdfa-dev

• dep: libghc-split-dev-0.2.5-3cfdd

  virtual package provided by libghc-split-dev

• dep: libghc-stm-dev-2.5.1.0-99e80

  virtual package provided by ghc

• dep: libghc-stmonadtrans-dev-0.4.8-b519e

  virtual package provided by libghc-stmonadtrans-dev

• dep: libghc-strict-dev-0.5-e2711

  virtual package provided by libghc-strict-dev

• dep: libghc-text-dev-2.0.2-ca8a7

  virtual package provided by ghc

• dep: libghc-time-compat-dev-1.9.6.1-6d707

  virtual package provided by libghc-time-compat-dev

• dep: libghc-time-dev-1.12.2-2cc4e

  virtual package provided by ghc

• dep: libghc-transformers-dev-0.6.1.0-5335d

  virtual package provided by ghc

• dep: libghc-unordered-containers-dev-0.2.20-d68c2

  virtual package provided by libghc-unordered-containers-dev

• dep: libghc-uri-encode-dev-1.5.0.7-2b6b2

  virtual package provided by libghc-uri-encode-dev

• dep: libghc-vector-dev-0.13.1.0-15849

  virtual package provided by libghc-vector-dev

• dep: libghc-vector-hashtables-dev-0.1.2.0-b9c25

  virtual package provided by libghc-vector-hashtables-dev

• dep: libghc-zlib-dev-0.6.3.0-0add8

  virtual package provided by libghc-zlib-dev

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Biblioteca aritmética con multiprecisión

• dep: libtinfo6 (>= 6)

  biblioteca compartida de bajo nivel terminfo para manejo del terminal

• dep: zlib1g (>= 1:1.1.4)

  Biblioteca de compresión, ejecutables

Download libghc-agda-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64el	29,773.5 kB	350,758.0 kB	[list of files]