Arc Forum | [_] = (fn (x) (x)), not (fn (x) x). [idfn _] = (fn (x) x). ([idfn

Arc Forum

6 points by waterhouse 5131 days ago | link | parent

[_] = (fn (x) (x)), not (fn (x) x).

  [idfn _] = (fn (x) x).
  ([idfn _] 1) -> 1.

1 point by d0m 5131 days ago | link

Oh my ... thank you. That explains a lot of things :p

-----