The PLT logo already contains deep blue. Once Matthew sees red, it'll be a whiteout.
Shriram _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
- [plt-dev] DrDr online Jay McCarthy
- Re: [plt-dev] DrDr online Geoffrey S. Knauth
- Re: [plt-dev] DrDr online Matthew Flatt
- Re: [plt-dev] DrDr online Shriram Krishnamurthi
