Realizacja projektu na przedmiot Specyfikacje Formalne i Programy Funkcyjne, semestr 17Z.
Program w języku Haskell rozwiązujący łamigłówkę architekta (opis).
Jan Kumor, Michał Kućko
Politechnika Warszawska
Wydział Elektroniki i Technik Informacyjnych