Tema: Specifikacija in abstrakcija | Principi programskih jezikov | Učilnica FRI 24/25

Section outline

- Izberi aktivnost Primer: prioritetna vrsta
  
  Primer: prioritetna vrsta Datoteka
- Izberi aktivnost Vaje: množice
  
  Vaje: množice Stran
- Izberi aktivnost Specifikacija: set.ml
  
  Specifikacija: set.ml Datoteka
- Izberi aktivnost Implementacija: avlset.ml
  
  Implementacija: avlset.ml Datoteka
- Izberi aktivnost OCaml jupyter notebook (ocaml-moduli.ipynb)
  
  OCaml jupyter notebook (ocaml-moduli.ipynb) Datoteka
  
  Naloženo 5/05/22, 09:17
- Izberi aktivnost Rešitve
  
  Rešitve Datoteka
- Izberi aktivnost Iztočna datoteka: (vaje12.ml)
  
  Iztočna datoteka: (vaje12.ml)
  
  Naloženo 8/05/22, 14:46