10La chaleur
1Répondre
Est-il possible d'utiliser des gardes dans la définition de fonction dans idris?