Programmi di prop-cc.sf.net

Prop è un linguaggio di pattern matching basato su C++. Implementa tipi di dati algebrici, corrispondenza e riscrittura dei pattern e genera codice C++ come output.