Salut,
J'ai défini un foncteur qui me permet de faire un tri personnalisé en le donnant comme prédicat à "sort". J'aimerais savoir s'il y a moyen de faire le tri en sens inverse en utilisant le même prédicat, mais sûrement avec autre chose qui permet d'inverser son résultat booléen. J'ai essayé sans succès d'utiliser "logical_not", je m'embrouille un peu dans l'abstraction à ce niveau...
Merci
Partager