I couldn't agree more! Although biased, I think that Opa is the easier of those technologies to learn and master for developers. And we also have more flexibili

I couldn't agree more! Although biased, I think that Opa is the easier of those technologies to learn and master for developers. And we also have more flexibility due to our compiler (vs frameworks). We have been rightfully compared to Ur/Web since the beginning. Adam Chlipala is an outstanding scientist and his work is definitely of high quality, maybe more academic. Note that we have other experimental backends available, although not in the open source release (yet). I am also interested in compiling to MirageOS -- we have all the mechanisms in place in Opa to do that easily, namely one called the "Bypass Standard Library" (BSL). I just uploaded one draft paper written at MLstate about the BSL: https://www.scribd.com/doc/271277920/Opa-BSL-Bypass-Standard-Library https://www.scribd.com/doc/271277920/Opa-BSL-Bypass-Standard...