https://gist.github.com/lo48576/3369073#file-ski_pred-txt
SKI コンビネータであたたかみのある手作業で pred を実装したやつとか……
この頃のワイは体力があったので、λ項をアルゴリズムで SKI コンビネータに変換するのは負けだと思ってた (?)
BCKW コンビネータの存在に触れる前のことなので S(KS)K を B でなく A と置いていたり (たぶん Apply のつもり) 、いろいろ趣がある (?)
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。