[Ur] New website?

[Adam Chlipala]

Thanks to everyone for their thoughts on the project web site. Here's my 
summary of the 5-ish opinions expressed:
- It's not clear that the large background graphic from Torstein's 
design is the way to go.  Somehow it may be out of keeping with the 
"character" of the Ur/Web project.
- Adding a live-coding demo section seems like a no-brainer.  I started 
a separate discussion thread looking for someone to spearhead an 
implementation.
- Moving to Git & GitHub also seems like a no-brainer.  One concern 
about GitHub was expressed, regarding censorship.  I personally am not 
too worried there, as it's easy to maintain "mirrors" of a Git 
repository all over the place, to be ready in case one main provider 
goes over to the dark side.  The pros seem to outweigh the cons, 
considering how many potential contributors already have GitHub accounts 
and are used to using GitHub.
- It may still be worth tweaking the graphical design of the Ur project 
site, but I'm not seeing a clear consensus right now on exactly how that 
should look.  (I really don't mind the current site. :P)

Another very useful thing would be a tutorial that doesn't assume ML and 
Haskell familiarity, ideally written by someone beside me, since 
Ur/Web's design has been in some sense optimized for my brain. :) Any 
takers there?

On 07/27/2015 08:30 PM, Stefan Scott Alexander wrote:
> Also, "eating your own dog food" would probably be a plus. It only 
> makes sense that a website for a web programming language should be 
> programmed in the language itself.

I'm not sure about this one.  Ur/Web is for web _apps_, not web _sites_, 
so it may be a mismatch for a largely static site.