Paquet : agda-bin (2.6.3-1 et autres)

[ Paquet source : agda  ]

interface en ligne de commande pour Agda

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 un programme en ligne de commande pour vérifier les types et compiler des programmes Agda. Ce programme peut également créer des fichiers HTML, avec la coloration syntaxique, depuis des sources Agda.

Étiquettes: Développement de logiciel: Tests et assurance qualité, Interface utilisateur: Ligne de commande, Rôle: role::program, uitoolkit::ncurses

Autres paquets associés à agda-bin

• dep: libc6 (>= 2.29) [hppa, m68k, x32]

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

  dep: libc6 (>= 2.34) [non alpha, hppa, ia64, m68k, x32]

• dep: libc6.1 (>= 2.31) [ia64]

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

  dep: libc6.1 (>= 2.34) [alpha]

• dep: libffi7 (>= 3.3~20180313) [ia64]

  Paquet indisponible

• dep: libffi8 (>= 3.4) [non ia64]

  Bibliothèque d'exécution de l'interface de fonction étrangère (FFI)

• dep: libghc-agda-dev (<< 2.6.1+~) [hppa, ia64, m68k, x32]

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

  dep: libghc-agda-dev (<< 2.6.3+~) [non hppa, ia64, m68k, x32]

  dep: libghc-agda-dev (>= 2.6.1) [hppa, ia64, m68k, x32]

  dep: libghc-agda-dev (>= 2.6.3) [non hppa, ia64, m68k, x32]

• dep: libgmp10 [ia64]

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

  dep: libgmp10 (>= 2:6.2.1+dfsg) [hppa, m68k]

  dep: libgmp10 (>= 2:6.3.0+dfsg) [non hppa, ia64, m68k, x32]

• 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

• sug: elpa-agda2-mode

  langage de programmation fonctionnel typé de façon dépendante - mode emacs

Télécharger agda-bin

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	17 254,1 ko	169 046,0 ko	[liste des fichiers]
amd64	2.6.3-1+b3	10 011,3 ko	68 294,0 ko	[liste des fichiers]
arm64	2.6.3-1+b2	10 067,2 ko	78 207,0 ko	[liste des fichiers]
hppa (portage non officiel)	2.6.1-1+b3	15 732,6 ko	208 519,0 ko	[liste des fichiers]
i386	2.6.3-1+b1	15 011,2 ko	111 007,0 ko	[liste des fichiers]
ia64 (portage non officiel)	2.6.1-1+b1	22 542,7 ko	701 265,0 ko	[liste des fichiers]
m68k (portage non officiel)	2.6.1-1+b1	10 580,7 ko	113 533,0 ko	[liste des fichiers]
mips64el	2.6.3-1+b1	15 696,2 ko	166 986,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2.6.3-1+b7	10 817,8 ko	136 834,0 ko	[liste des fichiers]
ppc64el	2.6.3-1+b3	11 164,0 ko	114 620,0 ko	[liste des fichiers]
riscv64	2.6.3-1+b2	11 207,6 ko	77 437,0 ko	[liste des fichiers]
s390x	2.6.3-1+b1	14 435,3 ko	117 090,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	2.6.3-1	12 363,7 ko	222 841,0 ko	[liste des fichiers]
x32 (portage non officiel)	2.6.1-1+b2	34 236,4 ko	137 406,0 ko	[liste des fichiers]