loophp /
church-encoding
|
|
⇢ |
2
|
Numeral::toNumeral() added |
|
|
⇢ |
1
|
Boolean::gte() added |
|
|
⇢ |
1
|
CList::isNil() added |
|
|
⇢ |
1
|
Numeral::one() added |
|
|
⇢ |
1
|
Boolean::CAnd() added |
|
|
⇢ |
1
|
Numeral::exponentiation() added |
|
|
⇢ |
1
|
Numeral::eight() added |
|
|
⇢ |
1
|
Boolean::CTrue() added |
|
|
⇢ |
1
|
Numeral::pred() added |
|
|
⇢ |
1
|
Numeral::toInt() added |
| ⋮ | view more | ||
