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.

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

Missing syntax for whiskering with no input sheet #13

Open
wetneb opened this issue Oct 24, 2020 · 0 comments
Open

Missing syntax for whiskering with no input sheet #13

wetneb opened this issue Oct 24, 2020 · 0 comments

Comments

@wetneb
Copy link
Owner

wetneb commented Oct 24, 2020

Our syntax does not let us specify diagrams of the following form:
Given f : O -> A + B, f C : O -> AC + BC.
At the moment it is only possible to draw this by adding an explicit node on the whiskering node.
We could either decide on a new syntax or add an option in node settings to treat them as whiskering nodes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant