Nagyhatékonyságú deklaratív programozás jegyzet

A tárgy honlapja: http://cs.bme.hu/~szeredi/ndp/

Fordítás

./clean.sh && ./build.sh

Szintaxiskiemelés

A szintaxiskiemeléshez a Pygments függvénykönyvtár szükséges, ami Ubuntu Linux alatt az alábbi paranccsal telepíthető:

sudo apt-get install python-pygments

A kiemelést a ./enable-minted.sh parancs használatával kapcsolhatjuk be és a ./disable-minted.sh paranccsal kapcsolhatjuk ki.