Embedded domain-specific combinator library for the abstract assembly and automated synthesis of logical circuits.
