Closed at15 closed 6 years ago
I think I have learned enough for current reika implementation ... the idea of denotation is good for incremental compile, but keep both the run and phase id might be overkill for current reika, it's better to have a reika w/ full semantic running and consider about integration and compiler performance later.