Mailing lists

We have set up two mailing lists for public use.

Bug reports should be sent to Greg Morrisett for now; we are working on a bug tracking system.

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

Edit