[plt-dev] documentation enhancements

From: Eli Barzilay (eli at barzilay.org)
Date: Thu Feb 19 16:52:29 EST 2009

On Feb 19, Matthew Flatt wrote:
> At Thu, 19 Feb 2009 14:46:03 -0700, Jon Rafkind wrote:
> > 2. More examples would help (and yes I said I would write them
> > before but now I'm really going to do it) but I can see how some
> > people would find them annoying. Hiding them at first behind a div
> > tag and a link that unhides them might be a good option. I think
> > this is reasonable since the documentation already heavily uses
> > javascript.
> I think there's little danger of examples being annoying.

I'd second that -- *if* we get to a state where there are too many
examples, then it will be easy to add an html hack that hides them.
(Similar JS code is already there in the top-left TOC box.)

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!

Posted on the dev mailing list.