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

[ Pakiet źródłowy: 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.

Inne pakiety związane z libghc-agda-dev

• dep: libc6 (>= 2.29)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libghc-aeson-dev-2.1.2.1-b2811

  pakiet wirtualny udostępniany przez libghc-aeson-dev

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

  pakiet wirtualny udostępniany przez libghc-ansi-terminal-dev

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

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-async-dev-2.2.5-5e855

  pakiet wirtualny udostępniany przez libghc-async-dev

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

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-binary-dev-0.8.9.1-7cd62

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-blaze-html-dev-0.9.2.0-8f62d

  pakiet wirtualny udostępniany przez libghc-blaze-html-dev

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

  pakiet wirtualny udostępniany przez libghc-boxes-dev

• dep: libghc-bytestring-dev-0.11.5.3-58e77

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-057c7

  pakiet wirtualny udostępniany przez libghc-case-insensitive-dev

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

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-data-hash-dev-0.2.0.1-59bbd

  pakiet wirtualny udostępniany przez libghc-data-hash-dev

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez libghc-dlist-dev

• dep: libghc-edit-distance-dev-0.2.2.1-35d65

  pakiet wirtualny udostępniany przez libghc-edit-distance-dev

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

  pakiet wirtualny udostępniany przez libghc-equivalence-dev

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

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-filepath-dev-1.4.300.1-4ef81

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez libghc-gitrev-dev

• dep: libghc-hashable-dev-1.4.4.0-1b435

  pakiet wirtualny udostępniany przez libghc-hashable-dev

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez libghc-monad-control-dev

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez libghc-murmur-hash-dev

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

  pakiet wirtualny udostępniany przez libghc-parallel-dev

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

  pakiet wirtualny udostępniany przez libghc-peano-dev

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-regex-tdfa-dev-1.3.2.2-37b64

  pakiet wirtualny udostępniany przez libghc-regex-tdfa-dev

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

  pakiet wirtualny udostępniany przez libghc-split-dev

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez libghc-stmonadtrans-dev

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

  pakiet wirtualny udostępniany przez libghc-strict-dev

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez libghc-time-compat-dev

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

  pakiet wirtualny udostępniany przez ghc

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

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-unordered-containers-dev-0.2.20-13c3d

  pakiet wirtualny udostępniany przez libghc-unordered-containers-dev

• dep: libghc-uri-encode-dev-1.5.0.7-ae86e

  pakiet wirtualny udostępniany przez libghc-uri-encode-dev

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

  pakiet wirtualny udostępniany przez libghc-vector-dev

• dep: libghc-vector-hashtables-dev-0.1.2.0-160b5

  pakiet wirtualny udostępniany przez libghc-vector-hashtables-dev

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

  pakiet wirtualny udostępniany przez libghc-zlib-dev

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

  Biblioteka działań arytmetycznych z dużą dokładnością

• dep: libtinfo6 (>= 6)

  Współdzielona, niskopoziomowa biblioteka terminfo do obsługi terminala

• dep: zlib1g (>= 1:1.1.4)

  Biblioteka kompresyjna - pliki wykonawcze

Pobieranie libghc-agda-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
s390x	39 535,3 KiB	452 611,0 KiB	[lista plików]