Found the solution myself: return ()
Sorry for the silly question, but I am a bit unfamiliar with this stuff (but slowly getting behind it). However; thanks for this great language! I think it can speed up developing for the web quite a bit.
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur