Skip to content

Draft: The implementation of #17594: desugaring

Daniel Rogozin requested to merge wip/17594-another-approach-desugaring into wip/17594-another-approach-typecheck

NB. This is the third part of the implementation of #17594 (closed). The second part is at !6956 (closed).

Edited by Andreas Klebinger

Merge request reports