Drage študentke in študenti!
Na githubu so objavljena navodila za 3. domačo nalogo. Rok za oddajo domače naloge je 19.6.2022.
Pri substitucijah bodite pazljivi pri uporabi avtomatskega reševanja lukenj v agdi, saj so lahko tip ustrezni, a je substitucija vseeno napačna in ne boste mogli dokazati kasnejših trditev.
Filip