[Ur] typechecker rejects form handler

Adam Chlipala adamc at csail.mit.edu
Thu Jan 9 10:32:34 EST 2014


On 01/08/2014 05:31 PM, Sergey wrote:
> I don't fully understand why did you establish such a strict rules of 
> mapping functions to urls, but I think I better understand the rules 
> themselves.

Well, URLs are visible to users, so it seems important to make them 
nice-looking.  That's really all there is to it.



More information about the Ur mailing list