ruben.moor est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 2 rep
Différence entre Haskell et Idris: Réflexion du Runtime / Compiletime dans les univers types
el 11 de Février, 2020 27 votes
Dernières réponses
-
N'a rien répondu encore.
Tags préférés
- 1 x type-level-computation
- 1 x idris
- 1 x dependent-type
- 1 x haskell