[e-lang] Convert Walnut to MediaWiki

[James Graves]

Mark S. Miller wrote:

> Yes! There's also a list of papers and talks at <http://erights.org/talks/> 
> that should be converted.

Well, here's a question for you.  Do you want the wiki to be the main 
entry point for the erights.org website?  That's how they do it at 
haskell.org.

erights.org must continue to exist in some form, to host content that 
isn't PD, and for content (such as your thesis paper) that must be 
maintained in original form (for historical purposes, if nothing else).

And, obviously, to host the distributions and stuff.

But if you wanted, we could basically copy the top level page of 
erights.org, and start converting over everything from HTML to wiki markup.

> As for the Ode and the draft serialization paper, it would be great for these 
> to move into the wiki itself -- probably using the same subpage technique used 
> for Walnut.
> 
> The draft serialization paper may be the right first experiment in 
> collaboratively editing a draft paper towards publication. I wonder what the 
> proper attribution should be on a paper authored in this way?

We can just look at the page history, and see who contributed.  Minor 
edits (if people properly mark them as such) probably don't need to be 
attributed.

James