Skip to content

Aufgabe 2: Definition für len korrigieren (vergleiche fold)

Luis Gerhorst requested to merge un65esoq/thprog-ss16:patch-1 into master

Bsp:

nil zero (lambda x . succ) → (lambda u f . u) zero (lambda x . succ) → zero
(cons y nil) zero (lambda x . succ) → (lambda u f . f y (nil u f)) zero (lambda x . succ) → (lambda x . succ) y (nil zero (lambda x . succ)) → succ zero → 1

Merge request reports