Denis Merigoux 5f48e5dac1 Merge branch 'master' into closure_conversion		2023-06-20 11:02:13 +02:00
..
bad	Created minimal not working example and tame down beta-reduction	2023-06-14 11:18:39 +02:00
good	Merge branch 'master' into closure_conversion	2023-06-20 11:02:13 +02:00