loophp /
church-encoding
| ⇢ | 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 | |
| ⇢ | A | CList::sum() added | |
| ⇢ | A | Numeral::four() added | |
| ⇢ | A | CList::head() added | |
| ⋮ | view more | ||
