Hi,

I've just read through the Hoopl paper and then noticed

which is really interesting. But it seems that there were no updates to the page

in like 3 years, yet the new codegen seems to be using Hoopl... Does anyone know

what is the current status of this?

Thanks,

Michal