vizlamb

vizlamb copied to clipboard

add the predecessor function (n-1) as an example. `PRED := λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λu.u)` de brujin notation: `###(((3 ##(1 (2 4))) #2) #1)` example of (PRED 4): `(###(((3...

brycec

Reverse button

4

Undoing the reduce would be handy for comparison.

mxmilkiib