Arc Forumnew | comments | leaders | submitlogin
([_] 1) vs ((fn (x) x) 1)
1 point by d0m 5185 days ago | 2 comments

  ((fn (x) x) 1) -> 1
  ([_] 1) -> ??


6 points by waterhouse 5185 days ago | link

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

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

-----

1 point by d0m 5185 days ago | link

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

-----