Programmes par prop-cc.sf.net

Prop est un langage correspondant au motif basé sur C++. Il implémente des types de données algébriques, l’appariement et la réécriture de motifs, et génère du code C++ en tant que sortie.