Joachim Breitner 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
- 3 votes
Isabelle : question banale : "Max (S::nat set) = 0" implique que tous les éléments de S sont nuls
el 20 de Août, 2013 3 votes - 31 votes
Combien de mémoire utilise un thunk?
el 21 de Décembre, 2012 31 votes - 8 votes
Programmation Haskell dans le monde réel
el 16 de Juillet, 2013 8 votes - 8 votes
Qu'y a-t-il de si mauvais dans Template Haskell ?
el 7 de Juin, 2012 8 votes
Tags préférés
- 3 x haskell
- 1 x isabelle
- 1 x max
- 1 x thunk
- 1 x lazy-evaluation
- 1 x functional-programming
- 1 x theorem-proving