Re: [Ur] Documentation codes

2010-12-08 Thread Karn Kallio
Hey folks, I've taken a look at the Ur/Web demos the other day and read a couple emails on the list. if anyone's worried about Ur/Web surviving or gaining wide-spread adoption, well, just fill in as much info/examples on the Wiki as you can, and add any usable code you might have, or

Re: [Ur] Documentation codes

2010-12-08 Thread Adam Chlipala
Karn Kallio wrote: if anyone's worried about Ur/Web surviving or gaining wide-spread adoption, well, just fill in as much info/examples on the Wiki as you can, and add any usable code you might have, or link to your projects. Good idea! Since I was quite confused about folders a couple

Re: [Ur] Documentation codes

2010-12-08 Thread 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

Re: [Ur] Documentation codes

2010-12-08 Thread Davor Ocelic
On Wed, 08 Dec 2010 16:23:43 +0100 Marc Weber marco-owe...@gmx.de wrote: 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

Re: [Ur] Documentation codes

2010-12-08 Thread Marc Weber
Excerpts from Davor Ocelic's message of Wed Dec 08 16:31:45 +0100 2010: We could even post snippets with description what we'd like done, and wait for someone to fill the solution in ;-) which vcs ? I'd suggest one of fossil, git, mercurial, bazaar, monotone I think its very important that

Re: [Ur] Documentation codes

2010-12-08 Thread Davor Ocelic
On Wed, 08 Dec 2010 16:54:53 +0100 Marc Weber marco-owe...@gmx.de wrote: Excerpts from Davor Ocelic's message of Wed Dec 08 16:31:45 +0100 2010: We could even post snippets with description what we'd like done, and wait for someone to fill the solution in ;-) which vcs ? I'd suggest one

Re: [Ur] Documentation codes

2010-12-08 Thread Marc Weber
Excerpts from Davor Ocelic's message of Wed Dec 08 17:15:58 +0100 2010: But any other means wouldn't hurt either... git repos (and probably all others) can easily be browsed from the web. You can't copy paste the wiki and run test code easily. Neither can you use it as library without copy