generated at
Zコンビネータ
不動点コンビネータである

>#WIP


λf. (λx. f (λy. x x y)) (λx. f (λy. x x y))

無名再帰
https://ja.wikipedia.org/wiki/無名再帰

https://medium.com/swlh/y-and-z-combinators-in-javascript-lambda-calculus-with-real-code-31f25be934ec
https://ja.wikipedia.org/wiki/不動点コンビネータ#Zコンビネータ
https://tnomura9.exblog.jp/26145667/
https://obelisk.hatenablog.com/entry/2016/11/09/011255
https://qiita.com/HMMNRST/items/a82961953247154852e8
https://www.k5trismegistus.me/entry/Y/Zコンビネーターについて理解するまで
/miyamonz/Zコンビネータ