loophp /
church-encoding
| ⇢ | A | CList::head() added | |
| ⇢ | A | Numeral::three() added | |
| ⇢ | A | CList::repeat() added | |
| ⇢ | A | Numeral::two() added | |
| ⇢ | A | Boolean::CNot() added | |
| ⇢ | A | CList::foldr() added | |
| ⇢ | A | Numeral::seven() added | |
| ⇢ | A | Boolean::isZero() added | |
| ⇢ | A | CList::foldl() added | |
| ⇢ | A | Numeral::plus() added | |
| ⋮ | view more | ||
