próbujemy zbudować próbkę Haskella-MaybeMonada z http://www.haskell.org/all_about_monads/html/maybemonad.html w języku F #. Chodzi o to, aby wyszukać adres mailowy w dwóch słownikach. Jeśli jedno z ob
Mam standardowy typ danych reprezentujący formuły logiki predykatów. Funkcja przedstawiający zasadę eliminacji dedukcja naturalna dla alternatywy może wyglądać tak: d_el p q =
if p =: (Dis r s) &