6 Commits

Author	SHA1	Message	Date
Louis Gesbert	e308ff8d02	Generalise the definition of lists of nested binders	2024-02-09 18:33:41 +01:00
Louis Gesbert	c124943a6e	Repair broken unit-test	2024-02-09 18:32:19 +01:00
Louis Gesbert	d9a17db4c0	Fix running inline tests ... Warning: one of them is broken and was disabled	2024-01-18 16:14:27 +01:00
zapashcanon	97e5b15531	replace let _ by let () or add type annotation	2023-09-09 22:02:39 +02:00
Denis Merigoux	22b24a8634	Fusion of all optimizations done correctly	2023-04-21 12:32:09 +02:00
Denis Merigoux	107ff95dc4	Remove dependency on ppx_expect and use alcotest instead	2023-04-21 10:37:31 +02:00