You want an algebra for the bits and an algebra for the functions.

		ipnon on Sept 10, 2022 \| parent \| context \| favorite \| on: Python type hints are Turing complete You want an algebra for the bits and an algebra for the functions.