There is indeed an FFI -- I played around a little bit with it a while ago. > you should consider using it only if you're ready to do just that: heavily hack o

There is indeed an FFI -- I played around a little bit with it a while ago. > you should consider using it only if you're ready to do just that: heavily hack on its implementation. That's unfortunately another problem: the current Ur/Web compiler, or at least when I last looked at it about 6 months ago, is tens of thousands of lines of SML, with almost zero comments or documentation. It's truly one of the densest and most impenetrable code bases I've looked at. I have no idea how Adam Chlipala is able to grok it -- I guess he's just that smart. Unfortunately, it makes outside contribution (especially from a person with limited experience with compilers, such as myself) nigh impossible. That, plus it's not hosted on something like Github or Bitbucket, which would make it much easier to contribute to.