[Ur] Documentation & codes

[Marc Weber]

Excerpts from Karn Kallio's message of Wed Dec 08 16:08:21 +0100 2010:
> http://www.impredicative.com/wiki/index.php/Using_Top.Fold_to_count_fields_of_a_record
Great. Does it make sense to create a new page for each snippet? 

I'd start a ur-snippets page and add all of them to one page. Then you
can even subscribe to changes - so you won't miss new ones.

Even better: What about creating a snippet library?
urweb eliminates dead code so collecting code at the begging could be
interesting to all.

Marc Weber