Homec4science

Small fix in last commit

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

Description

Small fix in last commit

Details

Committed
Benoit LE <benoit.le@ec-nantes.fr>Oct 11 2023, 12:37
Pushed
gitlab-richartOct 23 2023, 18:38
Parents
rAKAe6f5581b9e54: Used new developpement of last commit to properly assemble lambda terms
Branches
Unknown
Tags
Unknown

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKA741658f43667: Small fix in last commit (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 11 2023, 12:37