Homec4science

Removed some comments

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

Description

Removed some comments

Details

Committed
Benoit LE <benoit.le@ec-nantes.fr>Oct 18 2023, 12:18
Pushed
gitlab-richartOct 23 2023, 18:38
Parents
rAKA0b43ceba01cd: Few bug fixes when assembling u-lambda terms
Branches
Unknown
Tags
Unknown

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKAf84296a9c64b: Removed some comments (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 18 2023, 12:18