Questions programmation agda

Score Aff Date
Avatar de Sam_W

2

1 Rép
55 Aff

Agda : Fonction pour l'égalité propositionnelle

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

32

1 Rép
1440 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 :
Avatar de user3237465

37

1 Rép
675 Aff

Pourquoi avons-nous besoin de conteneurs?

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

45

2 Rép
1581 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
1031 Aff

Ne Hask ou Agda ont égaliseurs?

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

42

2 Rép
1843 Aff

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

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

46

5 Rép
949 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
2756 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
5267 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