[HCoop-Help] Domtool redirect: with www to without www keeping file path

[Adam Chlipala]

John T. Settino wrote:
> For those who do enjoy/understand type-based systems, DomTool2 is probably
> a breeze, but for those of us who have no interest, it is a huge pain in
> the ass to have to research documentation to do simple things.
>   

Yes, Domtool 2 is only easy to learn for people with experience 
programming in Haskell and ML.  If you're into programming, that's a 
good kind of experience to develop, though. ;)  Still, I've never 
claimed that I'm expecting most members to be able to learn the details 
of Domtool 2 using just the documentation on our wiki.  That's why 
there's the examples page.  I just like to tantalize folks with the 
possibility of a much cleaner understanding of the big picture, in hopes 
of making some converts. ;)

> FWIW, I'm doing something very similar to Michal on another server with
> just a simple line in an .htaccess.

Anything that you can do in a single line in a .htaccess file can also 
be done in a single line in Domtool 2, because it's possible to define a 
function encapsulating whatever configuration is needed.  Suggestions 
for such functions that we should add to our standard library are welcome.