[Ur] playing audio

[Adam Chlipala]

Gergely Buday wrote:
> Chris wrote:
>
>    
>>> is there  a canonical way to play a sound file in Ur/Web? I did not
>>> find neither "sound" nor "audio" in the manual.
>>>        
>> I don't believe Ur/Web supports the HTML<audio>  element but you can
>> add support using the C FFI. Same with<embed>,<object>, etc.
>>      
> Is there a howto describing the workflow? And/or, which file contains
> such definitions in the urweb distribution?
>    

Besides what is in the manual now about the FFI, the only other thing 
you might need to know is that XML values are represented in their 
normal string format in C code.