Homec4science

Fixed assembling of lambda-lambda terms using a TermToAssemble

Authored by Benoit LE <benoit.le@ec-nantes.fr> on Nov 6 2023, 16:25.

Description

Fixed assembling of lambda-lambda terms using a TermToAssemble

Details

Committed
Benoit LE <benoit.le@ec-nantes.fr>Nov 6 2023, 16:25
Pushed
gitlab-richartNov 6 2023, 16:33
Parents
rAKAc7bb6336049d: Fixed declaration of lambda
Branches
Unknown
Tags
Unknown

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKA18eefcd5c12a: Fixed assembling of lambda-lambda terms using a TermToAssemble (authored by Benoit LE <benoit.le@ec-nantes.fr>).Nov 6 2023, 16:25