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
[meeting] [joint] 12.07.2024
#433
Closed
deemp
closed
2 months ago
deemp
commented
3 months ago
Use *, skip more general context for now @fizruk
Release, notify others @deemp
Wait for @yegor256 to create patent template on Overleaf (slides and paper) and fill in some content
Search for (rewrite+partial evaluation) solutions/patents @fizruk