Discussion :

[iNeedBuff]

Bonjour !

Je suis étudiante en Info et voici un exo que je n'arrives pas à rséoudre. De la'ide svp ?

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 !

[Thorna]

C'est quoi [alpha] ?
Que se passe-t-il dans ton cas lorsque n dépasse la taille de l ?
Que vaut xs dans take n xs ?