Mailing lists

We have set up two mailing lists for public use.

Bug reports should be sent to Greg Morrisett.

Account requests for blogging or using the wiki should be sent to Nikhil Swamy.