Also, I may be wrong, but I don't think that the code run by a GPLed interpreter has to conform to the license. Native libraries linked to the runtime would have to, though.
Note: I'm part of the Opa team.
Good choice on the license!
(However if you encounter problems with adoption/funding, it might be time to start thinking about paid dual-licensing heh)
AGPL is a non-starter.
EDIT: There is a non-AGPL license that can be purchased. Non-starter has passed start. :)
Ur/Web syntax seems closer to OCaml syntax, so it might be a bit easier to learn. However, Opa documentation seems more polished and complete so it might even the odds.
Nice work, and thanks for bringing static guarantees to web development. It is much needed.
However, if you wish to make your code open-source with a different license, don't hesitate to contact Mathieu.Baudet@mlstate.com, he'll certainly be happy to arrange something.
"way for your users to download the sources of the application. In fact Opa facilitates that by automatically enriching the server (in release mode) to serve the source code of the application at a special /_internal_/src_code URL."