Programas por prop-cc.sf.net

Prop é uma linguagem de correspondência de padrão baseada em C++. Implementa datatips algébricos, correspondência de padrões e reescrita, e gera código C++ como saída.