luochen1990 est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières réponses
- 1 votes
Algorithme permettant de retourner toutes les combinaisons de k éléments parmi n
el 15 de Mai, 2019 1 votes
Tags préférés
- 1 x combinations
- 1 x dependent-type
- 1 x algorithm
- 1 x idris
- 1 x agda
- 1 x coq
- 1 x haskell