Курс: Principles of Programming Languages, Тема: Specifikacija in abstrakcija | Učilnica FRI 24/25

Section outline

- Select activity Primer: prioritetna vrsta
  
  Primer: prioritetna vrsta Датотека
- Select activity Vaje: množice
  
  Vaje: množice Page
- Select activity Specifikacija: set.ml
  
  Specifikacija: set.ml Датотека
- Select activity Implementacija: avlset.ml
  
  Implementacija: avlset.ml Датотека
- Select activity OCaml jupyter notebook (ocaml-moduli.ipynb)
  
  OCaml jupyter notebook (ocaml-moduli.ipynb) Датотека
  
  Прикачено 5/05/2022 09:17
- Select activity Rešitve
  
  Rešitve Датотека
- Select activity Iztočna datoteka: (vaje12.ml)
  
  Iztočna datoteka: (vaje12.ml) Датотека
  
  Прикачено 8/05/2022 14:46