loophp /
church-encoding
|
|
⇢ |
2
|
Numeral::toNumeral() added |
|
|
⇢ |
1
|
Boolean::gt() added |
|
|
⇢ |
1
|
CList::range() added |
|
|
⇢ |
1
|
Numeral::succ() added |
|
|
⇢ |
1
|
Boolean::CXor() added |
|
|
⇢ |
1
|
CList::concat() added |
|
|
⇢ |
1
|
Numeral::zero() added |
|
|
⇢ |
1
|
Boolean::eq() added |
|
|
⇢ |
1
|
CList::nil() added |
|
|
⇢ |
1
|
Numeral::six() added |
| ⋮ | view more | ||
