Et si on faisait une petite dépêche sur Idris?

Retourner au contenu associé (dépêche : GHC 8.4 et 8.6)

# Et si on faisait une petite dépêche sur Idris?

Posté par gurumekun le 03 octobre 2018 à 11:15. En réponse à la dépêche GHC 8.4 et 8.6. Évalué à 1.

Parce que bon, l’évaluation paresseuse d'Haskell, ça ne plaît pas a` tout le monde...