@carette yes, we have

and we’ve made good progress on running them

This image from @ccshan’s whiteboard shows the current status

The major question about time line is whether we want to aim for ICFP or wait until POPL

@samth I suspect I’m not in a good position to help push things along - not unless LDA is still hung up because of Maple-level inefficiencies.

I think that’s accurate

I don’t have strong feelings about ICFP or POPL.