Péter Diviánszky est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 21 votes
Par où commencer avec la programmation de type dépendante?
el 12 de Janvier, 2013 21 votes
Tags préférés
- 1 x dependent-type
- 1 x agda
- 1 x haskell
- 1 x scala
- 1 x idris