Homec4science

Used new developpement of last commit to properly assemble lambda terms

Authored by Benoit LE <benoit.le@ec-nantes.fr> on Oct 11 2023, 12:33.

Description

Used new developpement of last commit to properly assemble lambda terms

Details

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

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKAe6f5581b9e54: Used new developpement of last commit to properly assemble lambda terms (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 11 2023, 12:33