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

[meeting] [joint] 27.09.2024 #496

Closed deemp closed 2 weeks ago

deemp commented 2 weeks ago

Summary by @fizruk:

  1. Focus on updating the rules. Read and submit issues regarding the latest version of Yegor's rules.
  2. Highlight (maybe shorten) examples that we have discussed in the past, especially examples that have motivated the reverted changes in the rules!
  3. Waiting for an example/readme from Yegor about the pipeline with Maven plugin.
  4. Complete patent presentation ASAP.