Build for a specific platform

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)

MIT License

7 stars 2 forks source link

Open deemp opened 2 months ago

deemp commented 2 months ago

We need to use the normalizer binary in the pipeline.

What can we build:

[ ] Ask Ivan about the platform at the end of the Stage 2 (https://github.com/objectionary/normalizer/issues/430)