HASKELL
rachunek λ
Table of Contents
Lecture Notes on the Lambda Calculus, Peter Selinger, rozdziały 1-3.
1 ZADANIA
- Sprawdzić czy and T F =β F.
- Zdefiniować or.
- Sprawdzić czy or F F =β F
- Udowodnić, że funkcja succ daje poprawny wynik dla wszystkich n.
- Wyliczyć add 2 2.
- Wyznaczyć techniką punktu stałego funkcję fib
- Obliczyć drugi element pary λz.z(λfx.fx)(λfx.f(fx))
- Zdefiniować funkcje head i tail dla list.
- Zdefiniować funkcję obliczającą długość listy.