Questions programmation agda

Score Aff Date
Photo de Sam_W

2

1 Rép
56 Aff

Agda : Fonction pour l'égalité propositionnelle

Résolu
Demandé el 31 de Octobre, 2022 par Sam_W
Etiquettes :
Avatar de Don Stewart

32

1 Rép
1441 Aff

Contrainte non sûre et code Agda plus efficace (-ftrust-me-im-agda)

Résolu
Demandé el 3 de Octobre, 2010 par Don Stewart
Etiquettes :
Photo de user3237465

37

1 Rép
676 Aff

Pourquoi avons-nous besoin de conteneurs?

Résolu
Demandé el 17 de Décembre, 2015 par user3237465
Etiquettes :
Avatar de luochen1990

45

2 Rép
1582 Aff

Comment pouvons-nous surmonter les temps de compilation et les délais d'exécution lors de la programmation dans un langage à typage dépendant?

Ouvert
Demandé el 6 de Janvier, 2018 par luochen1990
Etiquettes :
Avatar de Ben Millwood

36

2 Rép
1032 Aff

Ne Hask ou Agda ont égaliseurs?

Résolu
Demandé el 24 de Février, 2013 par Ben Millwood
Etiquettes :
Photo de ashy_32bit

42

2 Rép
1844 Aff

Par où commencer avec la programmation de type dépendante?

Fermé
Demandé el 21 de Novembre, 2012 par ashy_32bit
Etiquettes :
Avatar de Viclib

46

5 Rép
951 Aff

Les types dépendants peuvent prouver que votre code est correct jusqu'à une spécification. Mais comment prouver que les spécifications sont correctes?

Résolu
Demandé el 11 de Octobre, 2015 par Viclib
Etiquettes :
Photo de grasevski

86

2 Rép
2757 Aff

Quel est l'équivalent combinatoire logique de la théorie de type intuitionniste?

Résolu
Demandé el 10 de Juillet, 2012 par grasevski
Etiquettes :
Avatar de serras

192

2 Rép
5268 Aff

Différences entre Agda et Idris

Résolu
Demandé el 27 de Février, 2012 par serras
Etiquettes :

Top Tags

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X