issues
search
objectionary
/
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
7
stars
2
forks
source link
Document existing atoms
#414
Open
deemp
opened
1 month ago
deemp
commented
1 month 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: