Documentation - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Documentation #375

Closed RoukayaZaki closed 2 months ago

RoukayaZaki commented 3 months ago

resolves #344

PR-Codex overview

This PR updates the Changelog for the $\varphi$ standard library, documenting changes in objects' interfaces.

Detailed summary

Simplified as-bytes attribute in bytes.phi
Added auto-named-attr-at-64-9 to go.phi, malloc.phi
Added negative-infinity.phi to is-num-gte-zero
Added positive-infinity.phi to is-num-gte-zero, is-num-gt-zero
Removed start attribute in while.phi
Modified attributes in bytes.phi and malloc.phi
Added false.phi, true.phi
Removed several objects like bool.phi, goto.phi

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

deemp commented 2 months ago

@RoukayaZaki, me and @fizruk decided to not document changes in dependencies. So, this PR is no longer necessary.

Please see https://github.com/objectionary/normalizer/issues/414 instead.