[Ur] Blogpost

[Adam Chlipala]

Thanks so much for sharing this link, which I've added to the Ur web site.

One bit of Ur/Web style advice: I recommend List.app over List.mapM for 
cases where you just want to perform a side effect on each list element, 
rather than constructing a new list.  That change in your examples would 
make them a bit shorter and epsilon more time-and-memory-efficient.

You also have an example of queryL1 followed by List.mapM.  I would just 
use queryI1 there.

On 4/27/20 2:28 AM, Simon Van Casteren wrote:
> Hi everybody,
>
> In case anyone is interested, I wrote a blog post some time ago about 
> my experiences with Ur/Web.
>
> http://frigoeu.github.io/urweb1.html
>
> Simon