Paket: libghc-agda-dev (2.6.1-1 och andra) [debports]

[ Källkod:  ]

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.

Andra paket besläktade med libghc-agda-dev

• dep: libc6 (>= 2.29)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libghc-aeson-dev-1.4.7.1-269b8

  Paketet inte tillgängligt

• dep: libghc-array-dev-0.5.4.0-88c34

  Paketet inte tillgängligt

• dep: libghc-async-dev-2.2.2-c54fc

  Paketet inte tillgängligt

• dep: libghc-base-dev-4.13.0.0-7ccc0

  Paketet inte tillgängligt

• dep: libghc-binary-dev-0.8.7.0-30948

  Paketet inte tillgängligt

• dep: libghc-blaze-html-dev-0.9.1.2-5c28b

  Paketet inte tillgängligt

• dep: libghc-boxes-dev-0.1.5-504df

  Paketet inte tillgängligt

• dep: libghc-bytestring-dev-0.10.10.1-b600e

  Paketet inte tillgängligt

• dep: libghc-containers-dev-0.6.2.1-af2b0

  Paketet inte tillgängligt

• dep: libghc-data-hash-dev-0.2.0.1-b656c

  Paketet inte tillgängligt

• dep: libghc-deepseq-dev-1.4.4.0-a6451

  Paketet inte tillgängligt

• dep: libghc-directory-dev-1.3.6.0-e856e

  Paketet inte tillgängligt

• dep: libghc-edit-distance-dev-0.2.2.1-154f9

  Paketet inte tillgängligt

• dep: libghc-equivalence-dev-0.3.5-14c3d

  Paketet inte tillgängligt

• dep: libghc-exceptions-dev-0.10.4-ad177

  Paketet inte tillgängligt

• dep: libghc-filepath-dev-1.4.2.1-eb021

  Paketet inte tillgängligt

• dep: libghc-geniplate-mirror-dev-0.7.7-a1138

  Paketet inte tillgängligt

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

  Paketet inte tillgängligt

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

  Paketet inte tillgängligt

• dep: libghc-hashable-dev-1.3.0.0-350ea

  Paketet inte tillgängligt

• dep: libghc-hashtables-dev-1.2.3.4-c27eb

  Paketet inte tillgängligt

• dep: libghc-haskeline-dev-0.7.5.0-215dc

  Paketet inte tillgängligt

• dep: libghc-ieee754-dev-0.8.0-b4e76

  Paketet inte tillgängligt

• dep: libghc-mtl-dev-2.2.2-808ea

  Paketet inte tillgängligt

• dep: libghc-murmur-hash-dev-0.1.0.9-ce159

  Paketet inte tillgängligt

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

  Paketet inte tillgängligt

• dep: libghc-process-dev-1.6.9.0-53673

  Paketet inte tillgängligt

• dep: libghc-regex-tdfa-dev-1.3.1.0-d46ab

  Paketet inte tillgängligt

• dep: libghc-split-dev-0.2.3.4-f32d3

  Paketet inte tillgängligt

• dep: libghc-stm-dev-2.5.0.0-7e2c4

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-strict-dev-0.3.2-2a3be

  Paketet inte tillgängligt

• dep: libghc-template-haskell-dev-2.15.0.0-d6597

  Paketet inte tillgängligt

• dep: libghc-text-dev-1.2.4.0-5116f

  Paketet inte tillgängligt

• dep: libghc-time-dev-1.9.3-678fe

  Paketet inte tillgängligt

• dep: libghc-transformers-dev-0.5.6.2-8bd9f

  Paketet inte tillgängligt

• dep: libghc-unordered-containers-dev-0.2.10.0-5d679

  Paketet inte tillgängligt

• dep: libghc-uri-encode-dev-1.5.0.6-64030

  Paketet inte tillgängligt

• dep: libghc-zlib-dev-0.6.2.2-bddec

  Paketet inte tillgängligt

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

  Multiprecision arithmetic library

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: zlib1g (>= 1:1.1.4)

  Kompressionsbibliotek - körtidspaket

• sug: libghc-agda-doc

  dependently typed functional programming language; documentation

Hämta libghc-agda-dev

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
hppa (inofficiell anpassning)	2.6.1-1+b3	69.063,5 kbyte	843.686,0 kbyte	[filförteckning]