Homec4science

Started to assemble u-lambda terms, still not working

Authored by Benoit LE <benoit.le@ec-nantes.fr> on Oct 17 2023, 17:38.

Description

Started to assemble u-lambda terms, still not working

Details

Committed
Benoit LE <benoit.le@ec-nantes.fr>Oct 17 2023, 17:38
Pushed
gitlab-richartOct 23 2023, 18:38
Parents
rAKA68546bd818eb: Merge branch 'features/czm_damage' into working
Branches
Unknown
Tags
Unknown

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKAa353b0f33676: Started to assemble u-lambda terms, still not working (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 17 2023, 17:38