Programas por prop-cc.sf.net

Prop es un lenguaje de coincidencia de patrones basado en C++. Implementa tipos de datos algebraicos, coincidencia de patrones y reescritura, y genera código de C++ como salida.