A formal specification of the abstract workings of the Combinatron machine.
The Combinatron is an architecture for executing BCKW programs; programs made of just B, C, K, and W combinators.
See Specification.md for the main description of how the Combinatron works.
See Language.md for a description of the language used to program the Combinatron machine.
See InstructionFormat.md for a description of the binary instruction format of the Combinatron machine.
Corrections are welcome in the form of pull requests. Clarifications or questions are welcome in the form of issues. In that manner questions will be available to be answered by newcomers.