CS 454 possible topics; Spring 2005

• Alfa proof editor

• HaRe screenshots

• Refactoring catalogue

• Hood examples

• GHood example

• Pan gallery

• Fran tutorial

• Wash/CGI gallery

• wxHaskell gallery

• Haskore architecture