Homec4science

Fixed some bugs when assembling u-lambda terms

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

Description

Fixed some bugs when assembling u-lambda terms

Details

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKA90436b549f7b: Fixed some bugs when assembling u-lambda terms (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 24 2023, 13:02