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
Basic properties of the flat modality #1078
Basic properties of the flat modality #1078
Changes from 76 commits
dd745c3
9b2e6c3
8f2f125
e0ff496
adec8a7
afaf613
ce128fe
d2cb662
cdf714d
eb900f4
622eeb8
694daa1
4b08e0c
00429c5
8aeac86
0b3bdb4
d576f45
07386d8
1fff63d
2004377
eb3f6d0
48ec293
72c2c76
cb81f69
ea83a88
34152bf
3ede963
421d67c
e3c5cc2
772a03f
2fab3e9
ce10861
5b9083c
09233cd
06aeba1
72e74f7
4f4b532
e5a20ec
f717844
4d4370a
d217592
afe7813
5a2bf0d
b5eca8e
ebfe470
e32e305
cd8adbe
1b5266a
a6aeb45
5dbede0
665a92a
d4569d6
4bc25c3
e98be51
7db8fc5
c4f1d7a
529457a
79d101f
df93b7e
3448387
57ba81e
9f7a0d9
2511212
cd6dc6b
cb00725
cb32768
d7c7fc8
30e3fa5
6f2f895
b7f1c1e
c2818fb
40fb3e1
bb1d2b7
f355c3d
829bfcd
d49c690
c075828
54a6a12
8eb13ff
750680e
850ed30
52a3468
4e2c9a6
7dee030
6467004
39693b7
fbc166c
3c5985b
e6f3f38
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing