Bonjour !
Je suis étudiante en Info et voici un exo que je n'arrives pas à rséoudre. De la'ide svp ? :zoubi:
1. Montrer l'égalité suivante par induction :
Pour tout n de Z, l appartient à [alpha]: take n l ++drop n l = l
2. De quelle longueur est le résultat lorsqu'on utilise cette fonction take n xs ? Formulez l'équation correspondante et prouvez la !
