Tags: laurayuwen/java-semantics
Tags
KJ-16 Split elaboration module into a few smaller modules. Split into 5 modules, although module ELABORATION-CORE contains approximately 40% of all that was elaboration before. We need to investigate whether parts of that module could be moved/ eliminated.