[Ur] Ur/Web's abstract machine (for JS)

[Adam Chlipala]

Currently, it is not intended that anyone but me can make any sense of 
that code.  I think this is a legitimate design decision, considering 
how I've imagined Ur/Web being used, but we could discuss alternatives.

On 03/09/2017 10:51 AM, Artyom Shalkhakov wrote:
> Hi all,
>
> How do I read Ur/Web's generated JS code? This seems like some sort of
> an abstract machine. Is this documented anywhere?
>
> (If somebody wants to do JS sourcemaps for Ur/Web, that would be a
> really good project!)
>