Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Typechecker; typecheck data entries #357
Typechecker; typecheck data entries #357
Changes from all commits
f9ad932
f9d7450
009085d
6d50dfa
08ef660
203e584
5b6bd85
d7c2481
0888769
4b765b3
264ff0c
9235ec0
f0e77b2
df82e04
565af4f
8be9f6f
f8f1740
ac47cc7
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.