conceptual formalism for metacompiling, program synthesis, and automated logical reasoning (WIP) [Moved to: https://github.com/contrast-zone/co-rewrite]
Why do you think that https://github.com/ekmett/ad is a good alternative to systelog-core
conceptual formalism for metacompiling, program synthesis, and automated logical reasoning (WIP) [Moved to: https://github.com/contrast-zone/co-rewrite]
Why do you think that https://github.com/ekmett/ad is a good alternative to systelog-core