Homec4science

Tried to assemble lambda-lambda terms with a TermToAssemble, still get a…

Authored by Benoit LE <benoit.le@ec-nantes.fr> on Oct 27 2023, 16:57.

Description

Tried to assemble lambda-lambda terms with a TermToAssemble, still get a singuler matrix for now

Details

Committed
Benoit LE <benoit.le@ec-nantes.fr>Oct 27 2023, 16:57
Pushed
gitlab-richartOct 27 2023, 16:58
Parents
rAKA90436b549f7b: Fixed some bugs when assembling u-lambda terms
Branches
Unknown
Tags
Unknown

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKA4b7e99487177: Tried to assemble lambda-lambda terms with a TermToAssemble, still get a… (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 27 2023, 16:57