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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
457 run mdbook in the pipeline job
#463
deemp
closed
2 months ago
2
Document how to run fourmolu without pre-commit
#462
deemp
opened
2 months ago
0
36 Unit tests
#461
Anatolay
closed
2 months ago
10
389 fix sorting in numeric columns
#460
deemp
closed
2 months ago
2
388 bump stack action version
#459
deemp
closed
2 months ago
2
361 provide instructions for the customer to check that weve completed the contract requirements
#458
deemp
closed
2 months ago
2
Run mdbook in the pipeline job
#457
deemp
closed
2 months ago
1
454 replace normalizer report command with the normalizer pipeline report command
#456
deemp
closed
2 months ago
2
chore(deps): update dependency pre-commit to v3.8.0
#455
renovate[bot]
closed
2 months ago
1
Replace `normalizer report` command with the `normalizer pipeline report` command
#454
deemp
closed
2 months ago
0
370 create a metrics page on the site
#453
deemp
closed
2 months ago
1
Add docs and tests in `Common.hs`
#452
deemp
opened
2 months ago
0
[meeting] [joint] 26.07.2024
#451
deemp
closed
2 months ago
0
let's add copyrights checker to CI pipeline
#450
yegor256
opened
2 months ago
5
Remove NF conditions from the rules
#449
eyihluyc
opened
2 months ago
1
`ρ` should not be injected during `.ρ` dispatch
#448
eyihluyc
closed
3 days ago
2
Run tests on all rule sets
#447
deemp
opened
2 months ago
0
428 document all dependencies in a single doc in eo phi normalizerdata for each eo version
#446
deemp
closed
2 months ago
2
Update the `COPY` rule as in phi-paper
#445
eyihluyc
closed
2 months ago
5
Prepare a release
#444
deemp
closed
2 months ago
2
[meeting] [joint] 19.07.2024
#443
deemp
closed
2 months ago
0
Release the normalizer
#442
deemp
closed
2 months ago
0
Force explicit declaration of pattern variables
#441
fizruk
opened
2 months ago
0
Support multiple patterns and results in custom rules
#440
fizruk
opened
2 months ago
0
Document updates to the custom rules
#439
fizruk
opened
2 months ago
0
Set up a pipeline for a small java program
#438
deemp
opened
2 months ago
0
ghc.yml:170: switch to chrisdickinson/setup-yq after...
#437
0pdd
opened
3 months ago
0
Unify the rules in the implementation and in the paper
#436
eyihluyc
opened
3 months ago
0
Remove duplicate rule
#435
eyihluyc
closed
3 months ago
3
chore(deps): update dependency prettier to v3.3.3
#434
renovate[bot]
closed
3 months ago
5
[meeting] [joint] 12.07.2024
#433
deemp
closed
2 months ago
0
423 custom rules
#432
fizruk
closed
2 months ago
2
Update eo to 0.38.4
#431
deemp
closed
2 months ago
0
[meeting] [internal] 11.07.2024
#430
deemp
closed
2 months ago
0
[meeting] [joint] 05.07.2024
#429
deemp
closed
2 months ago
0
Document all dependencies in a single doc in `eo-phi-normalizer/data` for each eo version
#428
deemp
closed
2 months ago
0
Move docs for user-defined rules to a separate page
#427
deemp
opened
3 months ago
0
406 support enabling/disabling particular atoms
#426
deemp
closed
3 months ago
3
[meeting] [joint] 28.06.2024
#425
deemp
closed
2 months ago
2
chore(deps): update baptiste0928/cargo-install action to v3.1.1
#424
renovate[bot]
closed
3 months ago
1
Custom rules. Iteration 2
#423
maxonfjvipon
closed
2 months ago
3
[meeting] [joint] 21.06.2024
#422
deemp
closed
2 months ago
0
Experiment with closure of objects
#421
fizruk
opened
3 months ago
0
Update decoration rule
#420
eyihluyc
closed
3 months ago
0
Generalize `Φ-dispatch` to rewrite `Φ` instead of `Φ.a`
#419
eyihluyc
closed
3 months ago
0
Align reductions from application to `⊥` with the paper
#418
eyihluyc
closed
3 months ago
0
[meeting] [joint] 14.06.2024
#417
deemp
closed
2 months ago
0
[meeting] [internal] 13.06.2024
#416
deemp
closed
2 months ago
0
Try normalization with user-defined rules only
#415
deemp
opened
4 months ago
2
Document existing atoms
#414
deemp
opened
4 months ago
0
Previous
Next