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

add extensional definitional simplification of collages #59

Open
wisnesky opened this issue Oct 10, 2018 · 1 comment
Open

add extensional definitional simplification of collages #59

wisnesky opened this issue Oct 10, 2018 · 1 comment
Assignees
@wisnesky
Projects
First Release

Comments

@wisnesky
Copy link
Contributor

No description provided.

@wisnesky wisnesky self-assigned this Oct 10, 2018
@wisnesky
Copy link
Contributor Author

I added inlining for generators and labelled nulls, but not function symbols proper, which require more machinery. The current sweet spot is helpful for certain examples.

@wires wires added this to Backlog in First Release Oct 29, 2018
@wires wires moved this from Backlog to To do in First Release Oct 29, 2018
@wisnesky wisnesky moved this from To do to Backlog in First Release Oct 29, 2018
@wisnesky wisnesky changed the title add definitional simplification pre orthogonal rewriting add extensional definitional simplification of collages Nov 22, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wisnesky wisnesky

Labels
None yet
Projects
First Release
  
Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wisnesky