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

Figure out whether multi is necessary #13

Open
benkolera opened this issue Apr 11, 2019 · 0 comments
Open

Figure out whether multi is necessary #13

benkolera opened this issue Apr 11, 2019 · 0 comments
Assignees
Labels
frontend nice to have Not essential, but nice to have if there's time

Comments

@benkolera
Copy link
Contributor

After the frontend is feature complete.

It'll be easier on workshop attendees if we don't have that functor around just being identity all the time.

@benkolera benkolera added frontend nice to have Not essential, but nice to have if there's time labels Apr 11, 2019
@benkolera benkolera self-assigned this Apr 14, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
frontend nice to have Not essential, but nice to have if there's time
Projects
None yet
Development

No branches or pull requests

1 participant