[Main website]

feature/abstract-interpretation

Before applying macro and other compilation passages, an abstract-compilation passage is done.

Links to this note