Cours de Programmation fonctionnelle et logique

Il existe quelques test de type qui permettent de programmer le typage. Les listes
sont ..... (égalité pour les S-expressions quelconque). memq member ...

Part of the document