loophp /
church-encoding
|
|
⇢ |
2
|
Numeral::toNumeral() added |
|
|
⇢ |
1
|
Boolean::eq() added |
|
|
⇢ |
1
|
CList::nil() added |
|
|
⇢ |
1
|
Numeral::six() added |
|
|
⇢ |
1
|
Boolean::lt() added |
|
|
⇢ |
1
|
CList::tail() added |
|
|
⇢ |
1
|
Numeral::nine() added |
|
|
⇢ |
1
|
Boolean::gte() added |
|
|
⇢ |
1
|
CList::isNil() added |
|
|
⇢ |
1
|
Numeral::one() added |
| ⋮ | view more | ||
