Fixed assembling of lambda-lambda terms using a TermToAssemble
Description
Description
Details
Details
- Committed
Benoit LE <benoit.le@ec-nantes.fr> Nov 6 2023, 16:25 - Pushed
gitlab-richart Nov 6 2023, 16:33 - Parents
- rAKAc7bb6336049d: Fixed declaration of lambda
- Branches
- Unknown
- Tags