View GitHub Repository church-encoding

Schedule Inspection
Subscribe
Passed
Pull Request — master (#14)
by
unknown
02:03
created

PHP Classes Changes

 ⇢ A Boolean added
⇢ A CList added
⇢ A Numeral added

PHP Operations Changes

 ⇢ A Boolean::gt() added
⇢ A CList::range() added
⇢ A Numeral::succ() added
⇢ A Boolean::CXor() added
⇢ A CList::concat() added
⇢ A Numeral::zero() added
⇢ A Boolean::eq() added
⇢ A CList::nil() added
⇢ A Numeral::six() added
⇢ A Boolean::lt() added
⋮ view more