isp1 is a projection from functions to characteristic functions.isp1 using an answer literal, but it seems to have trouble finding terms of even this modest complexity, at least with every approach that I have tried.
Basic defining properties of isp1
The combinator isp1 is a projection from functions to characteristic functions.
up | previous | next | detailed contents | brief contents