|
A
|
loophp\churchencoding\Boolean::eq()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\CList::nil()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
churchencoding\Numeral::multiply()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
churchencoding\Boolean::isZero()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\CList::foldl()
|
0
|
3
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\Numeral::three()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\Boolean::CIf()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
churchencoding\Numeral::exponentiation()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\Numeral::eight()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\Boolean::lt()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\CList::tail()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\Numeral::succ()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\Boolean::COr()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\CList::length()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
|
A
|
loophp\churchencoding\Numeral::two()
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|