Modulo 2

Modulo 2 is a programming language created by Cole. It is not Turing-complete.

Objective

The objective of Modulo 2 is to represent all possible Boolean functions (or collections thereof) using as simple of an alphabet and as intuitive a syntax as possible.

Symbols

Modulo 2 uses the following symbols:

p ˈ 0 | \

Semantics

Variables are designated by p followed by an integer number of apostrophes (can be zero).

Polish notation is used for the | operator. |ab means a NAND b. Hence the constant 1 can be represented by |00.

\ is used to separate functions in the same program.