conceptual formalism for metacompiling, program synthesis, and automated logical reasoning (WIP) [Moved to: https://github.com/contrast-zone/co-rewrite]
conceptual formalism for metacompiling, program synthesis, and automated logical reasoning (WIP) [Moved to: https://github.com/contrast-zone/co-rewrite]