s
library
Functions
-
i<A>(A x)
→ A
-
The I combinator.
Bird name: idiot.
Definition: I x = x
-
k(dynamic x)
→ dynamic
-
The K combinator.
Bird name: kestrel.
Definition: K x y = x
-
s(dynamic x)
→ dynamic
-
The S combinator.
Bird name: starling.
Definition: S x y z = x z (y z)
