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
GHC2021 #380
GHC2021 #380
Changes from all commits
2684e57
b245cfb
8127df3
97c7174
69f212d
66923b4
93f73f6
f9ba22d
e39e6d8
ca5260a
a02cd20
9d7c49f
443e36b
c948c55
8074dc3
07c5659
cde220d
cccc50b
735cffe
4866144
7c85630
c88a65c
4045334
5f55075
5b1b319
7dfc0e7
2c2522e
ae8110b
76829e9
ad22378
737975a
4e203fe
0a455a1
28005e9
f505dca
4609b3d
d3184d6
6153148
e798625
abe6acd
49aec38
40bcee9
51ea494
124a225
6283ffd
31ccd87
48778a4
32cf826
c2a3a2e
34f50b6
08ca30f
f159303
79ba223
00c15a3
bf2c88d
d3058cf
d7c3fad
5488185
03317fe
448f6c1
f01606c
2a5d741
c049932
4ce54f1
6ee8094
93220f7
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing