![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ISRM-PPJ-2026-05-25-monade/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-05-18-haskell-in-razredi-tipov/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-05-11-2026-moduli-podtipi-objekti/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-05-04-programiranje-z-omejitvami-in-abstrakcija/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-04-20-logicno-programiranje/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-03-30-rekurzija-in-izpeljava-tipov/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-03-23-deklarativno-programiranje/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-03-09-lambda-racun/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-03-02-dokazovanje-pravilnosti/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-02-23-ukazni-programski-jezik/ | 2026-05-25 09:03 | - | |
| ISRM-PPJ-2026-02-16-arimeticni-izrazi/ | 2026-05-25 09:03 | - | |
| book/ | 2026-05-25 08:27 | - | |
| lambda/ | 2026-03-08 20:53 | - | |