Fixed some bugs when assembling ll and ul terms
Description
Description
Details
Details
- Committed
Benoit LE <benoit.le@ec-nantes.fr> Oct 30 2023, 17:29 - Pushed
gitlab-richart Nov 6 2023, 16:33 - Parents
- rAKA4b7e99487177: Tried to assemble lambda-lambda terms with a TermToAssemble, still get a…
- Branches
- Unknown
- Tags