Homec4science

Assembled u-lambda terms

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

Description

Assembled u-lambda terms

Details

Committed
Benoit LE <benoit.le@ec-nantes.fr>Oct 18 2023, 12:21
Pushed
gitlab-richartOct 18 2023, 12:21
Parents
rAKAfe90a2e787d8: Some updates in my_first_test + Removed some comments
Branches
Unknown
Tags
Unknown

Event Timeline

Benoit LE <benoit.le@ec-nantes.fr> committed rAKA4f4ea0c0742e: Assembled u-lambda terms (authored by Benoit LE <benoit.le@ec-nantes.fr>).Oct 18 2023, 12:21