Atur cara mengikut prop-cc.sf.net

Prop adalah bahasa padanan corak berdasarkan C++. Ia melaksanakan taip data algebra, pemadanan corak dan penulisan semula, dan menjana kod C++ sebagai output.