Some updates in my_first_test.cc
Description
Description
Details
Details
- Committed
Benoit LE <benoit.le@ec-nantes.fr> Nov 6 2023, 16:31 - Pushed
gitlab-richart Nov 6 2023, 16:33 - Parents
- rAKA18eefcd5c12a: Fixed assembling of lambda-lambda terms using a TermToAssemble
- Branches
- Unknown
- Tags