Section: Specifikacija in abstrakcija | Principles of Programming Languages | Učilnica FRI 24/25

Section outline

- Select activity Primer: prioritetna vrsta
  
  Primer: prioritetna vrsta File
- Select activity Vaje: množice
  
  Vaje: množice Page
- Select activity Specifikacija: set.ml
  
  Specifikacija: set.ml File
- Select activity Implementacija: avlset.ml
  
  Implementacija: avlset.ml File
- Select activity OCaml jupyter notebook (ocaml-moduli.ipynb)
  
  OCaml jupyter notebook (ocaml-moduli.ipynb) File
  
  Uploaded 5/05/22, 09:17
- Select activity Rešitve
  
  Rešitve File
- Select activity Iztočna datoteka: (vaje12.ml)
  
  Iztočna datoteka: (vaje12.ml) File
  
  Uploaded 8/05/22, 14:46