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.
Static type checking #68
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
base: main
Are you sure you want to change the base?
Uh oh!
There was an error while loading. Please reload this page.
Static type checking #68
Changes from all commits
47b1a3e
2c9a0ed
3d22623
a123ca7
7a4a328
83757e2
1b2d4d2
bce796c
b4baa3b
889d997
4a8dbd7
09dc5db
d771484
2718831
bd2445b
67a2d8e
14118b9
4b701af
cf277a9
db50220
d96fcf2
a563ee4
fdf4fae
8c56d4d
c6cdb85
3481b2f
d830b4b
44f9878
67609fc
f1da3cd
2258b6c
4797f64
c30f63b
b8d3437
f7f3cf7
8df5d9f
e5479a6
5906ea7
5686108
b974820
d80fda6
fb72639
8433c02
4cfcbf5
ad72bbb
f3e50d6
177fde8
aa6cfa9
c77069c
85776d8
4bc4f6b
876c381
491c3d9
2cffd8b
5fc2e12
3c3b05b
a1a0c5e
123ba3a
4455bc3
d67fd2c
5e71ab3
7c50604
e7be5c4
3529eaf
f3b1d11
ae1c8e8
a454126
6dea98a
111c4bf
ff972f8
d6c4338
5c5d035
8eb4434
09d3eb3
41e9949
8c6a308
68eb157
c99110e
0d1d419
524d56a
848616e
f434776
eeee186
b84bb42
13273aa
9da251d
a6a65c0
28f3e32
3cc22db
445864d
6782ff0
cb52bcf
d57372e
e90401f
6863fe9
890730e
4acca2d
b60b36d
6d90c62
6e360d0
b113a67
aba1e85
70a47a8
0deefbb
11cd2d1
b5c7104
2aa7799
7bed15a
dbf94e9
8795179
6723a8f
121cea9
f62e5d6
519c7c2
1edce9a
d6fa373
2a8bc4e
c21696d
237e73c
f3b4d4e
3c1661b
a21870b
45b9dbd
eeb267d
0e32100
c6fdb9e
8a782be
e2d7ea5
fff7e39
0766222
d7b6331
f9df3e7
95fb87d
6f57425
49d4c00
2ecf38a
852d8e4
7c8f73c
47436e0
307f08f
4a71051
bd68b03
58849d8
cdc3cd9
5f380cf
3e41cfe
File filter
Filter by extension
Conversations
Uh oh!
There was an error while loading. Please reload this page.
Jump to
Uh oh!
There was an error while loading. Please reload this page.
There are no files selected for viewing
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.