Bonjour à tous,
quelqu'un peut m'aider à programmer la réduction dans le système F?
par exemple, quand on veut calculer le successeur de 3 on doit avoir comme résultat 4, ça je sais le faire à la main mais je n'arrive pas à mettre en place l'algorithme calculant la réduction en général dans le système F.
Merci d'avance.
Partager