Paket: libghc-agda-dev (2.6.2.2-1.1)

[ Kaynak: 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.

libghc-agda-dev ile İlgili Diğer Paketler

• dep: libc6 (>= 2.29)

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

• dep: libghc-aeson-dev-2.0.3.0-0cf50

  sanal paketi sağlayan libghc-aeson-dev

• dep: libghc-array-dev-0.5.4.0-2a3c4

  sanal paketi sağlayan ghc

• dep: libghc-async-dev-2.2.4-98a97

  sanal paketi sağlayan libghc-async-dev

• dep: libghc-base-dev-4.15.1.0-07409

  sanal paketi sağlayan ghc

• dep: libghc-binary-dev-0.8.8.0-c9873

  sanal paketi sağlayan ghc

• dep: libghc-blaze-html-dev-0.9.1.2-731ce

  sanal paketi sağlayan libghc-blaze-html-dev

• dep: libghc-boxes-dev-0.1.5-08c7d

  sanal paketi sağlayan libghc-boxes-dev

• dep: libghc-bytestring-dev-0.10.12.1-d4ab9

  sanal paketi sağlayan ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-9d27e

  sanal paketi sağlayan libghc-case-insensitive-dev

• dep: libghc-containers-dev-0.6.4.1-1b4f4

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-data-hash-dev

• dep: libghc-deepseq-dev-1.4.5.0-126ab

  sanal paketi sağlayan ghc

• dep: libghc-directory-dev-1.3.6.2-8bc8d

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-edit-distance-dev

• dep: libghc-equivalence-dev-0.4.1-63f64

  sanal paketi sağlayan libghc-equivalence-dev

• dep: libghc-exceptions-dev-0.10.4-4c64d

  sanal paketi sağlayan ghc

• dep: libghc-filepath-dev-1.4.2.1-5fba7

  sanal paketi sağlayan ghc

• dep: libghc-ghc-compact-dev-0.1.0.0-798b9

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-gitrev-dev

• dep: libghc-hashable-dev-1.3.5.0-56c89

  sanal paketi sağlayan libghc-hashable-dev

• dep: libghc-hashtables-dev-1.2.4.2-5b1fb

  sanal paketi sağlayan libghc-hashtables-dev

• dep: libghc-haskeline-dev-0.8.2-32dbb

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-monad-control-dev

• dep: libghc-mtl-dev-2.2.2-97c5b

  sanal paketi sağlayan ghc

• dep: libghc-murmur-hash-dev-0.1.0.10-5ae8d

  sanal paketi sağlayan libghc-murmur-hash-dev

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

  sanal paketi sağlayan libghc-parallel-dev

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

  sanal paketi sağlayan ghc

• dep: libghc-process-dev-1.6.13.2-96f83

  sanal paketi sağlayan ghc

• dep: libghc-regex-tdfa-dev-1.3.2-5b32c

  sanal paketi sağlayan libghc-regex-tdfa-dev

• dep: libghc-split-dev-0.2.3.5-b8cd1

  sanal paketi sağlayan libghc-split-dev

• dep: libghc-stm-dev-2.5.0.0-ca020

  sanal paketi sağlayan ghc

• dep: libghc-strict-dev-0.4.0.1-b889b

  sanal paketi sağlayan libghc-strict-dev

• dep: libghc-template-haskell-dev-2.17.0.0-a9cf3

  sanal paketi sağlayan ghc

• dep: libghc-text-dev-1.2.5.0-7429f

  sanal paketi sağlayan ghc

• dep: libghc-time-dev-1.9.3-77436

  sanal paketi sağlayan ghc

• dep: libghc-transformers-dev-0.5.6.2-00dfd

  sanal paketi sağlayan ghc

• dep: libghc-unordered-containers-dev-0.2.17.0-793a4

  sanal paketi sağlayan libghc-unordered-containers-dev

• dep: libghc-uri-encode-dev-1.5.0.7-763bf

  sanal paketi sağlayan libghc-uri-encode-dev

• dep: libghc-zlib-dev-0.6.3.0-e7f0e

  sanal paketi sağlayan libghc-zlib-dev

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

  Multiprecision arithmetic library

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: zlib1g (>= 1:1.1.4)

  compression library - runtime

libghc-agda-dev indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
s390x	38.645,6 kB	440.357,0 kB	[dosya listesi]