2015-03-05 23:27 GMT+03:00 Adam Chlipala <[email protected]>: > That seems like a good workaround to me. It would be > interesting-in-a-bad-way to have to represent signals on the server side, in > a way that allows them to be embedded inside bits of client-side code that > reference variables defined in server-side code!
OK. I'll try the workaround soon and then report. Regards, Sergey _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
