Embedded domain-specific combinator library for the abstract assembly and automated synthesis of logical circuits.
:heavy_check_mark: Bit, Bytes and Logical Gates Abstraction
