Skip to content

Draft: Type checker checkpoint

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

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

Edited by Daniel Rogozin

Merge request reports