<div dir="ltr">Hi Michael,<div><br></div><div>Thanks for sharing your game with the community. I skimmed its source code and I did not found anything that I would qualify as a non-canonical use of Ur/Web. However, beware that I am an Ur/Web beginner too :) Maybe you can pinpoint which parts of the code you are afraid are non-canonical uses of the language...</div><div><br></div><div>Sincerely,</div><div>Saulo</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Oct 12, 2016 at 8:33 AM, Michael Rohs <span dir="ltr"><<a href="mailto:michael.rohs@hci.uni-hannover.de" target="_blank">michael.rohs@hci.uni-hannover.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
As part of my exploration of Ur/Web I wrote a tiny browser-based adventure game.<br>
<br>
<a href="https://github.com/mirohs/urweb-adventure" rel="noreferrer" target="_blank">https://github.com/mirohs/<wbr>urweb-adventure</a><br>
<br>
It might be helpful to others looking at the language. If you find non-canonical use of the language (I guess there is some...), please let me know.<br>
<br>
Cheers,<br>
Michael<br>
<br>
<br>
______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div><br></div>