Ben

On GHC’s wiki home page we have Title Index over in the right margin.

I thought the title index was auto-generated.  But it doesn’t contain this page.

What’s up?

Thanks

Simon