Homec4science

Merge branch 'features/czm_damage' into working

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

Description

Merge branch 'features/czm_damage' into working

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKA904cb985b65c: Merge branch 'features/czm_damage' into working (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 13 2023, 12:05

Merged Changes

CommitAuthorDetailsCommitted
d27d786af6b6Benoit LE
Added my_first_test test case (CZM damage test case) 
Oct 13 2023
0788bb992820Benoit LE
Started to properply assemble lambda terms 
Oct 13 2023