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

[ Källkod: 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.

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-2.1.2.1-bcb88

  virtuellt paket som tillhandahålls av libghc-aeson-dev

• dep: libghc-ansi-terminal-dev-1.0.2-25450

  virtuellt paket som tillhandahålls av libghc-ansi-terminal-dev

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

  virtuellt paket som tillhandahålls av ghc

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

  virtuellt paket som tillhandahålls av libghc-async-dev

• dep: libghc-base-dev-4.18.2.1-8e81e

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-binary-dev-0.8.9.1-8e26a

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-blaze-html-dev-0.9.2.0-cce28

  virtuellt paket som tillhandahålls av libghc-blaze-html-dev

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

  virtuellt paket som tillhandahålls av libghc-boxes-dev

• dep: libghc-bytestring-dev-0.11.5.3-7048d

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-94a09

  virtuellt paket som tillhandahålls av libghc-case-insensitive-dev

• dep: libghc-containers-dev-0.6.7-7a228

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-data-hash-dev-0.2.0.1-209dc

  virtuellt paket som tillhandahålls av libghc-data-hash-dev

• dep: libghc-deepseq-dev-1.4.8.1-9013f

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-directory-dev-1.3.8.5-98ebe

  virtuellt paket som tillhandahålls av ghc

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

  virtuellt paket som tillhandahålls av libghc-dlist-dev

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

  virtuellt paket som tillhandahålls av libghc-edit-distance-dev

• dep: libghc-equivalence-dev-0.4.1-6eeb5

  virtuellt paket som tillhandahålls av libghc-equivalence-dev

• dep: libghc-exceptions-dev-0.10.7-0356d

  virtuellt paket som tillhandahålls av ghc

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

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-ghc-compact-dev-0.1.0.0-8f95f

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-gitrev-dev-1.3.1-44bc9

  virtuellt paket som tillhandahålls av libghc-gitrev-dev

• dep: libghc-hashable-dev-1.4.4.0-fb202

  virtuellt paket som tillhandahålls av libghc-hashable-dev

• dep: libghc-haskeline-dev-0.8.2.1-2332e

  virtuellt paket som tillhandahålls av ghc

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

  virtuellt paket som tillhandahålls av libghc-monad-control-dev

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

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-murmur-hash-dev-0.1.0.10-8fe95

  virtuellt paket som tillhandahålls av libghc-murmur-hash-dev

• dep: libghc-parallel-dev-3.2.2.0-0f7bd

  virtuellt paket som tillhandahålls av libghc-parallel-dev

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

  virtuellt paket som tillhandahålls av libghc-peano-dev

• dep: libghc-pretty-dev-1.1.3.6-8f6c9

  virtuellt paket som tillhandahålls av ghc

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

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-regex-tdfa-dev-1.3.2.2-429e6

  virtuellt paket som tillhandahålls av libghc-regex-tdfa-dev

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

  virtuellt paket som tillhandahålls av libghc-split-dev

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

  virtuellt paket som tillhandahålls av ghc

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

  virtuellt paket som tillhandahålls av libghc-stmonadtrans-dev

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

  virtuellt paket som tillhandahålls av libghc-strict-dev

• dep: libghc-text-dev-2.0.2-5b954

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-time-compat-dev-1.9.6.1-a9589

  virtuellt paket som tillhandahålls av libghc-time-compat-dev

• dep: libghc-time-dev-1.12.2-eb20f

  virtuellt paket som tillhandahålls av ghc

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

  virtuellt paket som tillhandahålls av ghc

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

  virtuellt paket som tillhandahålls av libghc-unordered-containers-dev

• dep: libghc-uri-encode-dev-1.5.0.7-4fa87

  virtuellt paket som tillhandahålls av libghc-uri-encode-dev

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

  virtuellt paket som tillhandahålls av libghc-vector-dev

• dep: libghc-vector-hashtables-dev-0.1.2.0-428e7

  virtuellt paket som tillhandahålls av libghc-vector-hashtables-dev

• dep: libghc-zlib-dev-0.6.3.0-436de

  virtuellt paket som tillhandahålls av libghc-zlib-dev

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

  Multiprecision arithmetic library

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: zlib1g (>= 1:1.1.4)

  Kompressionsbibliotek - körtidspaket

Hämta libghc-agda-dev

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	22.312,5 kbyte	215.580,0 kbyte	[filförteckning]