Pliki 

hello_proof.why demo_logic.why flaga-polska.mlw lider.mlw 

są przykładami używanymi na wykładzie.


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ę