Teorija programskih jezikov

V tem repozitoriju se zbirajo gradiva za predmet Teorija programskih jezikov na magistrskem študijuna Fakulteti za matematiko in fiziko.

Zapiski

Viri zapiskov se nahajajo v mapi zapiski. Za izdelavo HTML datotek si morate namestiti paket jupyter-book. Nato pa pokličete

jupyter-book build zapiski

Če imate ustrezne pravice, lahko HTML najenostavneje objavite kar prek GitHub pages tako, da si namestite še paket ghp-import in poženete

ghp-import --no-jekyll --no-history --force --push zapiski/_build/html