/php-church-encoding

Church encoded numerical computations over lambda-calculus implemented in PHP

Primary LanguagePHPMIT LicenseMIT

PHP Church Encoding

This project aims to proof that PHP has an auto sufficient anonymous function scheme where we are able to build computations uniquely by them. We represent booleans, we build boolean algebra and we represent numerals and basic arithmetic and apply proofs.

TODO

  • Booleans
    • true
    • false
    • Boolean Algebra
      • and
      • or
      • not
      • xor
  • Numerals
    • succ
    • 0
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • Arithmetic
      • +
      • -
      • ×
      • ÷
  • Pairs