objectionary / news.eolang.org

Our Official Blog: we write about the development of EOLANG and 𝜑-calculus
https://news.eolang.org
MIT License
11 stars 5 forks source link

feat(#50): convert to phi and back #51

Closed maxonfjvipon closed 9 months ago

maxonfjvipon commented 9 months ago

Closes: #50


PR-Codex overview

This PR focuses on adding functionality to convert EO programs to φ-calculus expressions and vice versa.

Detailed summary

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

maxonfjvipon commented 9 months ago

@yegor256 please have a look

yegor256 commented 9 months ago

@maxonfjvipon one small typo. Maybe it's good to add spell checking to our blog, similar to how it's done in my blog: https://github.com/yegor256/blog/blob/master/Rakefile#L185-L233

maxonfjvipon commented 9 months ago

@yegor256 yeah, it would be nice. Please have a look one more time

yegor256 commented 9 months ago

@rultor merge

rultor commented 9 months ago

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

rultor commented 9 months ago

@rultor merge

@yegor256 Done! FYI, the full log is here (took me 3min)