Closed uncomputable closed 5 months ago
Display Simplicity expressions as linear strings, like in the tech report. Include some simple transformations like infix pair and comp, and true or false, and the {O,I,H} notation. This will make debugging much easier.
pair
comp
true
false
{O,I,H}
Display Simplicity expressions as linear strings, like in the tech report. Include some simple transformations like infix
pairandcomp, andtrueorfalse, and the{O,I,H}notation. This will make debugging much easier.