Skip to content
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

Jump to bottom

Support type inference #67

Closed
1 task
deemp opened this issue Jan 25, 2024 · 1 comment
Closed
1 task

Support type inference #67

deemp opened this issue Jan 25, 2024 · 1 comment
Assignees
@fizruk
Labels
(normalizer) Related to the normalizer application priority 5
Milestone
[S?] Nice to have

Comments

@deemp
Copy link
Member

deemp commented Jan 25, 2024 •
edited
Loading

Related to objectionary/opeo-maven-plugin#124

It may be unclear how to rename all occurences of an attribute attr.

  • Support tracking what object does an attr belong to.
This was referenced Jan 25, 2024
Open
Closed
@deemp deemp added this to the Nice to have milestone Feb 22, 2024
@deemp deemp added the (normalizer) Related to the normalizer application label May 7, 2024
@fizruk
Copy link
Collaborator

fizruk commented Oct 18, 2024 •
edited
Loading

Closing until we get an actual specification of type annotations in EO and $\varphi$-calculus.

@fizruk fizruk closed this as completed Oct 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@fizruk fizruk

Labels
(normalizer) Related to the normalizer application priority 5
Projects
Normalizer & proof
Status: Done
Milestone
[S?] Nice to have
Development

No branches or pull requests
3 participants
@fizruk @aabounegm @deemp