Skip to content

Pull requests: objectionary/normalizer

New pull request New
8 Open 128 Closed
8 Open 128 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Generalize Φ-dispatch to rewrite Φ instead of Φ.a
#419 opened Jun 17, 2024 by eyihluyc Loading…
Align reductions from application to ⊥ with the paper
#418 opened Jun 17, 2024 by eyihluyc Loading…
chore(deps): update dependency eolang to v0.21.1
#399 opened Jun 6, 2024 by renovate bot Loading…
1 task
2
chore(eo): bump version 0.38.0 -> 0.38.3
#398 opened Jun 6, 2024 by deemp Loading…
1 task
1
3
Rename transform to rewrite
#369 opened May 23, 2024 by RoukayaZaki Loading…
5
Remove special case for delta binding since VTX is removed
#356 opened May 20, 2024 by RoukayaZaki Loading…
1
4
[proposal] Support custom rules proposal under review Proposal that is being reviewed by the normalizer team
#259 opened Apr 5, 2024 by deemp Loading…
1
[proposal] Extended pattern matching proposal under review Proposal that is being reviewed by the normalizer team
#258 opened Apr 5, 2024 by deemp Loading…
3
ProTip! Add no:assignee to see everything that’s not assigned.