[Ur] Comparison with other frameworks

[Adam Chlipala]

nitralime wrote:
> **As I have already mentioned in my other post
> I am aware of two other functional web frameworks
> (HOP and Links) which in my opinion provide
> a similar "functionality" as Ur/Web!
>
> I'm just curious about how Ur/Web compares to these frameworks!

There are many "incidental" differences, but I believe these points 
distinguish Ur/Web most clearly:
* Non-trivial type-level computation, which enables more expressive 
statically-typed metaprogramming
* Standard abstraction features from the typed FP world, including 
modules and type classes