metaborg/dynsem

Lazily load term classes

vvergu opened this issue · 0 comments

Would it be possible to lazily load the generated term classes and their operations?