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

Improve clarity regarding null/1 variables #19

Open
camall3n opened this issue Aug 30, 2022 · 1 comment
Open

Improve clarity regarding null/1 variables #19

camall3n opened this issue Aug 30, 2022 · 1 comment
Assignees
@MichaelJFishman
Labels
writing The writing needs to be updated

Comments

@camall3n
Copy link
Collaborator

Reviewer feedback:

Some aspects of formalism might be unnecessary, like the null/1 variables

Are these in fact necessary? Can things be simplified?
@camall3n camall3n added the writing The writing needs to be updated label Aug 30, 2022
@MichaelJFishman
Copy link
Collaborator

Things can be simplified. We can remove the null output by using partial functions. We can remove the 1 as well.
I'm not sure how much we'll have to rewrite to do this, but it's doable.

@MichaelJFishman MichaelJFishman self-assigned this Oct 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MichaelJFishman MichaelJFishman

Labels
writing The writing needs to be updated
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@camall3n @MichaelJFishman