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