undefined | Better HN

0 pointstome13y ago0 comments

There must be some confusion here. For "the threefold composition of its first argument applied to its second" the type should be "(x -> x) -> x -> x".

0 comments

1 comments · 1 top-level

kenko13y ago

Right, I was (stupidly, it was early!) just using "f" as a shorthand for a function type like x -> x.

j / k navigate · click thread line to collapse