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.
- Booleans
- true
- false
- Boolean Algebra
- and
- or
- not
- xor
- Numerals
- succ
- 0
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- Arithmetic
- +
- -
- ×
- ÷
- Pairs