53 Commits

Author	SHA1	Message	Date
Denis Merigoux	d8c120bf97	Propagate visibility down, missing handling in scope_to_dcalc	2022-02-04 14:41:22 +01:00
Denis Merigoux	13b476d0a1	[skip ci] reorganized desugared to scope encoding, broke some invariants ... WIP: fixed some bugs and provided documentations but one thing missing	2022-01-28 17:31:31 +01:00
Denis Merigoux	bbd50747d9	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00