Paket: libghc-agda-dev (2.6.4.3-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.1.2.1-bcb88

  sanal paketi sağlayan libghc-aeson-dev

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

  sanal paketi sağlayan libghc-ansi-terminal-dev

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-async-dev

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan ghc

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

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

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

  sanal paketi sağlayan libghc-boxes-dev

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

  sanal paketi sağlayan ghc

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

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

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

  sanal paketi sağlayan ghc

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

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

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-dlist-dev

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

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

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

  sanal paketi sağlayan libghc-equivalence-dev

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-gitrev-dev

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

  sanal paketi sağlayan libghc-hashable-dev

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

  sanal paketi sağlayan ghc

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

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

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

  sanal paketi sağlayan ghc

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

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

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

  sanal paketi sağlayan libghc-parallel-dev

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

  sanal paketi sağlayan libghc-peano-dev

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan ghc

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

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

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

  sanal paketi sağlayan libghc-split-dev

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-stmonadtrans-dev

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

  sanal paketi sağlayan libghc-strict-dev

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan libghc-time-compat-dev

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

  sanal paketi sağlayan ghc

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

  sanal paketi sağlayan ghc

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

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

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

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

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

  sanal paketi sağlayan libghc-vector-dev

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

  sanal paketi sağlayan libghc-vector-hashtables-dev

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

  sanal paketi sağlayan 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)

  compression library - runtime

libghc-agda-dev indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	22.312,5 kB	215.580,0 kB	[dosya listesi]