8 attendees. This meeting we had two presentations on QuickCheck, followed by discussions. At the end of the meeting we began to organize our team for the ICFP Contest.
The first presentation was done by Daisuke Ikegami, Ph.D, from Osaka.
He discussed the theory of QuickCheck, practical uses, and ended his presentation with a few samples of QuickCheck written in Haskell. You can find his presentation here
The second presenter was Curt Sampson, who recently attended John Hughes' course on QuickCheck in Erlang. He took this as a chance to presente the group with a few samples of QuickCheck in Erlang, which was followed by discussion.