Tried to assemble lambda-lambda terms with a TermToAssemble, still get a singuler matrix for now
Description
Description
Details
Details
- Committed
Benoit LE <benoit.le@ec-nantes.fr> Oct 27 2023, 16:57 - Pushed
gitlab-richart Oct 27 2023, 16:58 - Parents
- rAKA90436b549f7b: Fixed some bugs when assembling u-lambda terms
- Branches
- Unknown
- Tags