prop-src/ANNOUNCE

   1 A Pattern Matching Tool for C++
   2 -------------------------------
   3
   4 [1] What is Prop?
   5
   6     Prop is the C++ language extended with algebraic datatypes, pattern
   7 matching, rewriting, and inference.
   8
   9 [2] Features: