toutes les options
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : agda  ]

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

Liens pour libghc-agda-dev

Screenshot

Ressources Debian :

Télécharger le paquet source agda :

Responsable :

Ressources externes :

Paquets similaires :

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

  • dépendances
  • recommandations
  • suggestions
  • enhances

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
alpha (portage non officiel) 2.6.3-1 37 219,9 ko432 656,0 ko [liste des fichiers]
amd64 2.6.4.3-1+b2 22 286,2 ko214 834,0 ko [liste des fichiers]
arm64 2.6.4.3-1+b2 23 896,1 ko251 437,0 ko [liste des fichiers]
armel 2.6.4.3-1+b1 30 469,8 ko270 734,0 ko [liste des fichiers]
hppa (portage non officiel) 2.6.4.3-1+b1 41 239,4 ko427 861,0 ko [liste des fichiers]
i386 2.6.4.3-1+b2 36 466,7 ko290 165,0 ko [liste des fichiers]
ia64 (portage non officiel) 2.6.1-1+b1 67 508,4 ko1 614 526,0 ko [liste des fichiers]
loong64 (portage non officiel) 2.6.4.3-1+b1 45 024,7 ko507 112,0 ko [liste des fichiers]
m68k (portage non officiel) 2.6.1-1+b1 60 220,5 ko618 821,0 ko [liste des fichiers]
mips64el 2.6.4.3-1+b1 33 067,7 ko398 774,0 ko [liste des fichiers]
ppc64 (portage non officiel) 2.6.4.3-1 28 628,4 ko391 359,0 ko [liste des fichiers]
ppc64el 2.6.4.3-1 29 773,5 ko350 758,0 ko [liste des fichiers]
riscv64 2.6.4.3-1 40 684,0 ko445 815,0 ko [liste des fichiers]
s390x 2.6.4.3-1 39 535,3 ko452 611,0 ko [liste des fichiers]
sparc64 (portage non officiel) 2.6.4.3-1 36 539,8 ko573 215,0 ko [liste des fichiers]
x32 (portage non officiel) 2.6.1-1+b2 68 192,5 ko652 757,0 ko [liste des fichiers]