Homec4science

Few bug fixes when assembling u-lambda terms

Authored by Benoit LE <benoit.le@ec-nantes.fr> on Oct 18 2023, 09:59.

Description

Few bug fixes when assembling u-lambda terms

Details

Committed
Benoit LE <benoit.le@ec-nantes.fr>Oct 18 2023, 09:59
Pushed
gitlab-richartOct 23 2023, 18:38
Parents
rAKAa353b0f33676: Started to assemble u-lambda terms, still not working
Branches
Unknown
Tags
Unknown

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKA0b43ceba01cd: Few bug fixes when assembling u-lambda terms (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 18 2023, 09:59