issues
search
objectionary
/
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7
stars
2
forks
source link
Fix pipeline terminology
#373
Closed
deemp
closed
2 months ago
deemp
commented
3 months ago
Use consistent terminology for EO and PHI files.
Types of files:
original
filtered
initial
normalized
Update files using the new terminology.
normalizer
config record fields
scripts
variable names
directories