|
matijapretnar's
repositories
|
|
.devcontainer
|
|
.vscode
|
|
01-racunalniska-arhitektura
|
|
02-uvod-v-funkcijsko-programiranje
|
|
03-rekurzija
|
|
04-podatkovni-tipi
|
|
05-abstrakcija
|
|
06-curry-howardov-izomorfizem
|
|
07-odvisni-tipi
|
|
08-induktivni-tipi
|
|
09-izracunljivost
|
|
10-racunska-zahtevnost
|
|
11-iskalna-drevesa
|
|
12-deli-in-vladaj
|
|
13-dinamicno-programiranje
|
|
izpiti
|
|
pomozno
|
|
projekt
|
|
zapiski
|
|
.gitignore
|
|
.ocamlformat
|
|
README.md
|