Balík: libghc-agda-dev (2.6.4.3-1)

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

Ostatné balíky súvisiace s balíkom libghc-agda-dev

• dep: libc6 (>= 2.29)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

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

  virtuálny balík poskytovaný balíkom libghc-aeson-dev

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

  virtuálny balík poskytovaný balíkom libghc-ansi-terminal-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-async-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-blaze-html-dev

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

  virtuálny balík poskytovaný balíkom libghc-boxes-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-case-insensitive-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-data-hash-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-dlist-dev

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

  virtuálny balík poskytovaný balíkom libghc-edit-distance-dev

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

  virtuálny balík poskytovaný balíkom libghc-equivalence-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-gitrev-dev

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

  virtuálny balík poskytovaný balíkom libghc-hashable-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-monad-control-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-murmur-hash-dev

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

  virtuálny balík poskytovaný balíkom libghc-parallel-dev

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

  virtuálny balík poskytovaný balíkom libghc-peano-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-regex-tdfa-dev

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

  virtuálny balík poskytovaný balíkom libghc-split-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-stmonadtrans-dev

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

  virtuálny balík poskytovaný balíkom libghc-strict-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-time-compat-dev

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom ghc

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

  virtuálny balík poskytovaný balíkom libghc-unordered-containers-dev

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

  virtuálny balík poskytovaný balíkom libghc-uri-encode-dev

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

  virtuálny balík poskytovaný balíkom libghc-vector-dev

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

  virtuálny balík poskytovaný balíkom libghc-vector-hashtables-dev

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

  virtuálny balík poskytovaný balíkom libghc-zlib-dev

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

  aritmetická knižnica s viacnásobnou presnosťou

• dep: libtinfo6 (>= 6)

  zdieľaná nízkoúrovňová knižnica terminfo na obsluhu terminálu

• dep: zlib1g (>= 1:1.1.4)

  komprimačná knižnica - dynamická verzia

Stiahnuť libghc-agda-dev

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	22,312.5 kB	215,580.0 kB	[zoznam súborov]