search

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)
https://www.objectionary.com/eo-phi-normalizer/
MIT License
7 stars 2 forks source link

Clarify missing atoms with EO team #318

Open deemp opened 7 months ago

deemp commented 7 months ago

Related to https://github.com/objectionary/normalizer/pull/291

aabounegm commented 6 months ago

The original Java implementation and the On the Origin of Objects paper can be used as a reference.