Skip to content

Issues: objectionary/eo-phi-normalizer

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

89 Open 328 Closed
89 Open 328 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Work with desugared objects where appropriate
#639 opened Dec 17, 2024 by deemp
Run GH Action on develop (ci) Related to CI
#637 opened Dec 16, 2024 by deemp
@deemp
command line options are not sorter, which is confusing
#633 opened Dec 13, 2024 by yegor256
@deemp
2
the description of dataization process is outdated
#631 opened Dec 12, 2024 by yegor256
1
@deemp
2
dataization doesn't work for a simple object with \varphi?
#630 opened Dec 12, 2024 by yegor256
1
R_alpha and attribute ordinal is missing now
#629 opened Dec 12, 2024 by yegor256
copyrights/licenses check was removed, probably by mistake
#628 opened Dec 12, 2024 by yegor256
@deemp
5
\Delta may not be attached to \varempty
#625 opened Dec 12, 2024 by yegor256
5
old content and commented-out code makes noise
#624 opened Dec 12, 2024 by yegor256
@deemp
2
dataize with --chain and --tex prints only one line
#623 opened Dec 11, 2024 by yegor256
@eyihluyc
2
celsius example doesn't work when simplified
#622 opened Dec 11, 2024 by yegor256
2
--no-document option is require for TeX output
#621 opened Dec 11, 2024 by yegor256
@deemp
3
sugar for data primitives is not always used when printing
#616 opened Dec 5, 2024 by yegor256
1
how can we detect endless rewriting chain?
#615 opened Dec 5, 2024 by yegor256
2
Update eo to 0.49.1
#607 opened Dec 4, 2024 by deemp
2 tasks
1
@deemp
2
alpha-binding syntax sugar is not understood now
#604 opened Dec 4, 2024 by yegor256
1
as a syntax sugar, let's replace Φ.org.eolang with Φ̇ (normalizer) Related to the normalizer application
#603 opened Dec 4, 2024 by yegor256
@fizruk
3
Add --desugar flag
#601 opened Dec 4, 2024 by deemp
1 task
Implement atoms for dependencies 0.41.2 (atoms) Related to atoms used in dataization (normalizer) Related to the normalizer application
#600 opened Dec 4, 2024 by deemp
2 tasks
@deemp
example no.12 doesn't rewrite correctly bug Something isn't working
#594 opened Nov 30, 2024 by yegor256
@Anatolay
rewriting doesn't stop when using --chain, but works without it bug Something isn't working
#575 opened Nov 28, 2024 by yegor256
@fizruk
2
Confluence tests for the new rules fail (normalization rules) Related to normalization rules
#569 opened Nov 27, 2024 by deemp
2 tasks
@eyihluyc @Anatolay
the structure of directories is not clear
#565 opened Nov 26, 2024 by yegor256
5
is there anywhere a collection of tests for the input grammar?
#562 opened Nov 26, 2024 by yegor256
3
static .phi files are in the repo, while should be generated in build time
#561 opened Nov 26, 2024 by yegor256
ProTip! Follow long discussions with comments:>50.