Programma's van prop-cc.sf.net

Prop is een patroon matching taal op basis van C ++. Het implementeert algebraïsche gegevenstypen, patroonmatching en herschrijven, en genereert C++ code als uitvoer.