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

Typing improvements #118

Open
maritz opened this issue Dec 5, 2017 · 0 comments
Open

Typing improvements #118

maritz opened this issue Dec 5, 2017 · 0 comments
Labels
Improvement v2.1
Milestone
Next up

Comments

@maritz
Copy link
Owner

maritz commented Dec 5, 2017

There are still quite a few things that aren't perfectly typed or even completely untyped.

Any ideas or discussion about that should go in this issue.
@maritz maritz mentioned this issue Dec 5, 2017
Closed
19 tasks
@maritz maritz added this to the 2.1 milestone Jan 1, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Improvement v2.1
Projects
None yet
Milestone
Next up
Development

No branches or pull requests
1 participant
@maritz