Пакет: libghc-agda-dev (2.6.1-1 и други) [debports]

[ Източник:  ]

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

• dep: libc6 (>= 2.29)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

• dep: libghc-aeson-dev-1.4.7.1-bd1a9

  Пакетът не е наличен

• dep: libghc-array-dev-0.5.4.0-2617f

  виртуален пакет, предлаган от ghc

• dep: libghc-async-dev-2.2.2-5ab8b

  Пакетът не е наличен

• dep: libghc-base-dev-4.13.0.0-f73fa

  виртуален пакет, предлаган от ghc

• dep: libghc-binary-dev-0.8.7.0-211e8

  виртуален пакет, предлаган от ghc

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

  Пакетът не е наличен

• dep: libghc-boxes-dev-0.1.5-5dbae

  Пакетът не е наличен

• dep: libghc-bytestring-dev-0.10.10.1-28a1e

  виртуален пакет, предлаган от ghc

• dep: libghc-containers-dev-0.6.2.1-5e2b2

  виртуален пакет, предлаган от ghc

• dep: libghc-data-hash-dev-0.2.0.1-90337

  Пакетът не е наличен

• dep: libghc-deepseq-dev-1.4.4.0-7564c

  виртуален пакет, предлаган от ghc

• dep: libghc-directory-dev-1.3.6.0-fb3ad

  виртуален пакет, предлаган от ghc

• dep: libghc-edit-distance-dev-0.2.2.1-062c6

  Пакетът не е наличен

• dep: libghc-equivalence-dev-0.3.5-0ba30

  Пакетът не е наличен

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

  Пакетът не е наличен

• dep: libghc-filepath-dev-1.4.2.1-4f51d

  виртуален пакет, предлаган от ghc

• dep: libghc-geniplate-mirror-dev-0.7.7-fd15a

  Пакетът не е наличен

• dep: libghc-ghc-compact-dev-0.1.0.0-9a9c6

  виртуален пакет, предлаган от ghc

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

  Пакетът не е наличен

• dep: libghc-hashable-dev-1.3.0.0-57884

  Пакетът не е наличен

• dep: libghc-hashtables-dev-1.2.3.4-e77d0

  Пакетът не е наличен

• dep: libghc-haskeline-dev-0.7.5.0-a024e

  виртуален пакет, предлаган от ghc

• dep: libghc-ieee754-dev-0.8.0-42d42

  виртуален пакет, предлаган от libghc-ieee754-dev

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

  виртуален пакет, предлаган от ghc

• dep: libghc-murmur-hash-dev-0.1.0.9-02e87

  Пакетът не е наличен

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

  виртуален пакет, предлаган от ghc

• dep: libghc-process-dev-1.6.9.0-28faa

  виртуален пакет, предлаган от ghc

• dep: libghc-regex-tdfa-dev-1.3.1.0-2450f

  Пакетът не е наличен

• dep: libghc-split-dev-0.2.3.4-dc176

  Пакетът не е наличен

• dep: libghc-stm-dev-2.5.0.0-57792

  виртуален пакет, предлаган от ghc

• dep: libghc-strict-dev-0.3.2-ce4ca

  Пакетът не е наличен

• dep: libghc-template-haskell-dev-2.15.0.0-dd3f2

  виртуален пакет, предлаган от ghc

• dep: libghc-text-dev-1.2.4.0-3e1ef

  виртуален пакет, предлаган от ghc

• dep: libghc-time-dev-1.9.3-28cba

  виртуален пакет, предлаган от ghc

• dep: libghc-transformers-dev-0.5.6.2-2970e

  виртуален пакет, предлаган от ghc

• dep: libghc-unordered-containers-dev-0.2.10.0-709b5

  Пакетът не е наличен

• dep: libghc-uri-encode-dev-1.5.0.6-3cf9e

  Пакетът не е наличен

• dep: libghc-zlib-dev-0.6.2.2-3ddfb

  Пакетът не е наличен

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: zlib1g (>= 1:1.1.4)

  compression library - runtime

• sug: libghc-agda-doc

  dependently typed functional programming language; documentation

Изтегляне на libghc-agda-dev

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
x32 (неофициална архитектура)	2.6.1-1+b2	68 192,5 кБ	652 757,0 кБ	[списък на файловете]