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? - Gergely _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
