issues
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
Document existing atoms
#414
Open
deemp
opened
4 months ago
deemp
commented
4 months ago
Document existing atoms. For each atom, provide:
Name
Expected attributes in the atom and parent objects.
Logic - explain how the atom works (e.g., what happens
here
). It's not necessary to link to other sources like the paper, examples.
Lower bound on the EO version. This version is the latest compatible EO version available at the time of writing atoms documentation.
Document existing atoms. For each atom, provide: