Pliki używane na wykładzie:

pierwszym: hello_proof.why demo_logic.why flaga-polska.mlw lider.mlw 
drugim: routine.mlw, f91.mlw, fill.mlw, fringe.mlw


Zadaniami do zrobienia na laboratorium są:

1. tablica-stala-zadanie.mlw - tam trzeba napisac program i specyfikację
2. flaga-holenderska-zadanie.mlw - tam trzeba dodać specyfikację 
3. palindrom-zadanie.mlw - tam trzeba napisac program i specyfikację
4. tnfn-zadanie.mlw - tam trzeba dodać specyfikację