TP2, définition du append
J'ai un problème avec la règle (5) APPEND 3, car je ne comprend pas comment un append peut être commutatif :
si l = 1::[]
et m = 2::[]
, deux listes, cette règle dit que :
1::2::[] = 2::1::[]
,
ce qui renderait la règle revert inutile, car l'ordre n'aurait pas d'importance.
Edited by Damien Rupp