https://9dok.net/document/yd7842oj-combinatory-logic-and-program-synthesis.html