[plt-dev] naming poll

At Fri, 23 Apr 2010 11:11:09 -0600, Matthew Flatt wrote:
> I prefer as much as anyone to just decide and move on. Maybe this
> particular decision doesn't work that way, though. It seems that we
> have to make a guess together, then try it out, then guess again based
> on how well the previous one worked out as it plays into many other
> decisions.

In this spirit, I've git-pushed the change to `raco' so we can try it
out for a day or two.