Small fix in last commit
Description
Description
Details
Details
- Committed
Benoit LE <benoit.le@ec-nantes.fr> Oct 11 2023, 12:37 - Pushed
gitlab-richart Oct 23 2023, 18:38 - Parents
- rAKAe6f5581b9e54: Used new developpement of last commit to properly assemble lambda terms
- Branches
- Unknown
- Tags