Paquet : libghc-agda-dev (2.6.4.3-1 et autres)

[ Paquet source : agda  ]

langage de programmation fonctionnel typé de façon dépendante

Agda est un langage de programmation fonctionnel typé de façon dépendante. Il possède des familles inductives, qui ressemblent aux GADT de Haskell, mais qui peuvent être indexées par des valeurs et pas seulement des types. Il possède également des modules de paramétrisations, des opérateurs mixfix, les caractères Unicode et une interface Emacs interactive (le vérificateur de type peut aider au développement du code).

Agda est également un assistant de preuve : c'est un système interactif pour écrire et vérifier des preuves. Agda est basé sur la théorie des types intuitifs, un système fondamental pour les mathématiques constructives développé par le logicien suédois Per Martin-Löf. Il possède de nombreux points communs avec d'autres assistants de preuves basés sur des types dépendants comme Coq, Epigram et NuPRL.

Ce paquet fournit une bibliothèque pour le langage de programmation Haskell. Consultez http://www.haskell.org/ pour plus d'informations sur ce langage.

Autres paquets associés à libghc-agda-dev

• dep: libc6 (>= 2.29)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libghc-aeson-dev-2.1.2.1-7e2e9

  paquet virtuel fourni par libghc-aeson-dev

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

  paquet virtuel fourni par libghc-ansi-terminal-dev

• dep: libghc-array-dev-0.5.6.0-3963a

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par libghc-async-dev

• dep: libghc-base-dev-4.18.2.1-3be9b

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

• dep: libghc-blaze-html-dev-0.9.2.0-200d7

  paquet virtuel fourni par libghc-blaze-html-dev

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

  paquet virtuel fourni par libghc-boxes-dev

• dep: libghc-bytestring-dev-0.11.5.3-da82b

  paquet virtuel fourni par ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-80e7d

  paquet virtuel fourni par libghc-case-insensitive-dev

• dep: libghc-containers-dev-0.6.7-138bd

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par libghc-data-hash-dev

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

  paquet virtuel fourni par ghc

• dep: libghc-directory-dev-1.3.8.5-8eb88

  paquet virtuel fourni par ghc

• dep: libghc-dlist-dev-1.0-502c2

  paquet virtuel fourni par libghc-dlist-dev

• dep: libghc-edit-distance-dev-0.2.2.1-6c3fe

  paquet virtuel fourni par libghc-edit-distance-dev

• dep: libghc-equivalence-dev-0.4.1-35eaa

  paquet virtuel fourni par libghc-equivalence-dev

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

  paquet virtuel fourni par ghc

• dep: libghc-filepath-dev-1.4.300.1-16f57

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par libghc-gitrev-dev

• dep: libghc-hashable-dev-1.4.4.0-409e6

  paquet virtuel fourni par libghc-hashable-dev

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

  paquet virtuel fourni par ghc

• dep: libghc-monad-control-dev-1.0.3.1-2d659

  paquet virtuel fourni par libghc-monad-control-dev

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par libghc-murmur-hash-dev

• dep: libghc-parallel-dev-3.2.2.0-8def8

  paquet virtuel fourni par libghc-parallel-dev

• dep: libghc-peano-dev-0.1.0.2-9be4b

  paquet virtuel fourni par libghc-peano-dev

• dep: libghc-pretty-dev-1.1.3.6-909c8

  paquet virtuel fourni par ghc

• dep: libghc-process-dev-1.6.19.0-8642d

  paquet virtuel fourni par ghc

• dep: libghc-regex-tdfa-dev-1.3.2.2-91ff2

  paquet virtuel fourni par libghc-regex-tdfa-dev

• dep: libghc-split-dev-0.2.5-4406f

  paquet virtuel fourni par libghc-split-dev

• dep: libghc-stm-dev-2.5.1.0-059ff

  paquet virtuel fourni par ghc

• dep: libghc-stmonadtrans-dev-0.4.8-97d29

  paquet virtuel fourni par libghc-stmonadtrans-dev

• dep: libghc-strict-dev-0.5-9cb69

  paquet virtuel fourni par libghc-strict-dev

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par libghc-time-compat-dev

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

  paquet virtuel fourni par ghc

• dep: libghc-transformers-dev-0.6.1.0-6ad3c

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par libghc-unordered-containers-dev

• dep: libghc-uri-encode-dev-1.5.0.7-3389f

  paquet virtuel fourni par libghc-uri-encode-dev

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

  paquet virtuel fourni par libghc-vector-dev

• dep: libghc-vector-hashtables-dev-0.1.2.0-bcae3

  paquet virtuel fourni par libghc-vector-hashtables-dev

• dep: libghc-zlib-dev-0.6.3.0-24b10

  paquet virtuel fourni par libghc-zlib-dev

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

  Bibliothèque arithmétique à multi-précision

• dep: libtinfo6 (>= 6)

  bibliothèque partagée terminfo de bas niveau pour manipuler le terminal

• dep: zlib1g (>= 1:1.1.4)

  Bibliothèque de compression - binaires

Télécharger libghc-agda-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
armel	2.6.4.3-1+b1	30 469,8 ko	270 734,0 ko	[liste des fichiers]