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

Rename "well formedness" constraints to "well-definedness" constraints #36

Closed
ahubers opened this issue May 10, 2022 · 0 comments
Closed

Rename "well formedness" constraints to "well-definedness" constraints #36

ahubers opened this issue May 10, 2022 · 0 comments
Assignees
@ahubers
Labels
Low Priority Things that are good to have but not needed

Comments

@ahubers
Copy link
Contributor

ahubers commented May 10, 2022 •
edited
Loading

Need to change:

  • type WFT -> type WDT
  • $wf: -> $wd:
  • comments
  • record fields, e.g., wfMirror
  • helper functions, e.g., genWfConstraints and wfMirror accessors

Affects #32.
@ahubers ahubers changed the title switch "well formedness" constraints to "well-definedness" constraints Rename "well formedness" constraints to "well-definedness" constraints May 10, 2022
@ahubers ahubers self-assigned this May 10, 2022
@ahubers ahubers added the Low Priority Things that are good to have but not needed label May 10, 2022
@ahubers ahubers mentioned this issue May 10, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ahubers ahubers

Labels
Low Priority Things that are good to have but not needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ahubers