a collection of pattern matching materials and implementations