Pipelines · Merge branch 'letrec' into 'master' (547d59c1) · Commits · POTTIER Francois / inferno

A GitLab upgrade is scheduled for Monday, April 7, 2025. Service interruptions are expected in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

Commit 547d59c1 authored 2 years ago by SCHERER Gabriel

Browse files

Merge branch 'letrec' into 'master'

Client: monomorphic `let rec`

See merge request fpottier/inferno!49

parents 7a61062b 3401db21

No related branches found

No related tags found

Checking pipeline status

Admin message

Merge branch 'letrec' into 'master'