generated at
SKIコンビネータ
https://twitter.com/blackenedgold/status/1225712154516475906

Lazy K
https://tnomura9.exblog.jp/27789588/


http://cympfh.cc/aiura/lambda2ski.html


Lambda Lifting
ラムダ式の右辺を記号に変えることで、 λ の記号を消す
http://www.tatapa.org/~takuo/kotori_ski/
手順
https://csword.net/2018/06/17/lambda_lifting_とは/
α-消去
Lambda Liftingしたラムダ式をSコンビネータとKコンビネータのみを使って表す


https://www.slideshare.net/susisu2413/ski-57791999
https://ja.wikipedia.org/wiki/SKIコンビネータ計算
/kembo/YコンビネータをSKIコンビネータから作る
http://bugrammer.hateblo.jp/entry/2016/05/23/081305
http://www.cs-study.com/koga/computer/ski_again.html