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-6cd28

  sanal paketi sağlayan libghc-aeson-dev

• dep: libghc-array-dev-0.5.4.0-0b6fa

  sanal paketi sağlayan ghc

• dep: libghc-async-dev-2.2.4-7edea

  sanal paketi sağlayan libghc-async-dev

• dep: libghc-base-dev-4.15.1.0-6a406

  sanal paketi sağlayan ghc

• dep: libghc-binary-dev-0.8.8.0-507cc

  sanal paketi sağlayan ghc

• dep: libghc-blaze-html-dev-0.9.1.2-d5145

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

• dep: libghc-boxes-dev-0.1.5-fe15f

  sanal paketi sağlayan libghc-boxes-dev

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

  sanal paketi sağlayan ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-ea097

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

• dep: libghc-containers-dev-0.6.4.1-31c3b

  sanal paketi sağlayan ghc

• dep: libghc-data-hash-dev-0.2.0.1-3af90

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

• dep: libghc-deepseq-dev-1.4.5.0-118cf

  sanal paketi sağlayan ghc

• dep: libghc-directory-dev-1.3.6.2-311c9

  sanal paketi sağlayan ghc

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

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

• dep: libghc-equivalence-dev-0.4.1-9ed28

  sanal paketi sağlayan libghc-equivalence-dev

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

  sanal paketi sağlayan ghc

• dep: libghc-filepath-dev-1.4.2.1-4459f

  sanal paketi sağlayan ghc

• dep: libghc-ghc-compact-dev-0.1.0.0-7d71d

  sanal paketi sağlayan ghc

• dep: libghc-gitrev-dev-1.3.1-3f551

  sanal paketi sağlayan libghc-gitrev-dev

• dep: libghc-hashable-dev-1.3.5.0-3fad8

  sanal paketi sağlayan libghc-hashable-dev

• dep: libghc-hashtables-dev-1.2.4.2-4be59

  sanal paketi sağlayan libghc-hashtables-dev

• dep: libghc-haskeline-dev-0.8.2-83f75

  sanal paketi sağlayan ghc

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

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

• dep: libghc-mtl-dev-2.2.2-e3bae

  sanal paketi sağlayan ghc

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

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

• dep: libghc-parallel-dev-3.2.2.0-7cbf2

  sanal paketi sağlayan libghc-parallel-dev

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

  sanal paketi sağlayan ghc

• dep: libghc-process-dev-1.6.13.2-9f25f

  sanal paketi sağlayan ghc

• dep: libghc-regex-tdfa-dev-1.3.2-1c748

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

• dep: libghc-split-dev-0.2.3.5-0c13f

  sanal paketi sağlayan libghc-split-dev

• dep: libghc-stm-dev-2.5.0.0-4cba8

  sanal paketi sağlayan ghc

• dep: libghc-strict-dev-0.4.0.1-544cd

  sanal paketi sağlayan libghc-strict-dev

• dep: libghc-template-haskell-dev-2.17.0.0-7274a

  sanal paketi sağlayan ghc

• dep: libghc-text-dev-1.2.5.0-8553e

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan ghc

• dep: libghc-transformers-dev-0.5.6.2-fc6f3

  sanal paketi sağlayan ghc

• dep: libghc-unordered-containers-dev-0.2.17.0-1d16d

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

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

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

• dep: libghc-zlib-dev-0.6.3.0-57e0e

  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
amd64	24.270,5 kB	248.168,0 kB	[dosya listesi]