lists-mathFoundations

note: this page won't make much sense to anyone but myself.

dream: table with hierarchy incld. sets, and a bunch of descendents, function composition (actually, that sode starts out with "( )"), and a bunch of descendents (this side represents operations) and a few other things (constants? constant fns? id?)

is the ( ) in the dream hierarchy fn application? i feel like its something permutational. mb: ((lambda x:f(x)) (lambda z:lambda y:g(y, z))) = lambda x:lambda z:g(f(x),z)

other ppl's ideas: ((K x)y) = x (K x y) = x (S x y z) = (x z (y z))

fokker lambda f.fS(lambda xyz.x)