loophp /
church-encoding
| ⇢ | A | Boolean::CAnd() added | |
| ⇢ | A | Numeral::exponentiation() added | |
| ⇢ | A | Numeral::eight() added | |
| ⇢ | A | Boolean::CTrue() added | |
| ⇢ | A | Numeral::pred() added | |
| ⇢ | A | Numeral::toInt() added | |
| ⇢ | A | Boolean::lte() added | |
| ⇢ | A | Numeral::minus() added | |
| ⇢ | A | Boolean::CIf() added | |
| ⇢ | A | Numeral::five() added | |
| ⋮ | view more | ||
