https://readonly.link/articles/cicada-lang/lambda/-/docs/tests/nat-church.md
项目地址:https://github.com/cicada-lang/lambda