loophp /
church-encoding
|
|
⇢ |
2
|
Numeral::toNumeral() added |
|
|
⇢ |
1
|
Boolean::CTrue() added |
|
|
⇢ |
1
|
Numeral::pred() added |
|
|
⇢ |
1
|
Numeral::toInt() added |
|
|
⇢ |
1
|
Boolean::lte() added |
|
|
⇢ |
1
|
Numeral::minus() added |
|
|
⇢ |
1
|
Boolean::CIf() added |
|
|
⇢ |
1
|
Numeral::five() added |
|
|
⇢ |
1
|
CList::sum() added |
|
|
⇢ |
1
|
Numeral::four() added |
| ⋮ | view more | ||
