This repository was archived by the owner on Jan 30, 2026. It is now read-only.

[Draft] Simplifications#299

Closed

Stevendeo wants to merge 1 commit intoMLanguage:adaptation_correctiffrom

Stevendeo:simplifications

Commits on Jan 12, 2026

Replacing IntMap by equivalent array
Stevendeo
committed