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
..
bad	Test folders, nice doc and messages	2022-01-11 12:51:34 +01:00
good	[skip ci] reorganized desugared to scope encoding, broke some invariants	2022-01-28 17:31:31 +01:00