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.
Reinvent the Rectangle, or The First Step Towards Rectangle Unification. #2088
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
Reinvent the Rectangle, or The First Step Towards Rectangle Unification. #2088
Changes from all commits
7fff854
e7c064c
7c9a71b
6d31eb4
3a9211c
54fc04f
971ab46
b9c947b
3d40fc5
248a1c7
ed81428
02ad3e9
749c14d
0a8f066
8afdb02
7812f08
f1daa26
2651ec9
0da27fd
30195dd
64a2c76
d7d0f14
c6c821d
5ae835c
da6dec8
2b01361
bf4ba54
dc60542
26e5cb6
6aeb525
649ee9c
b408593
d87314c
5b875de
0c32a46
c24e84a
64ea867
26d3f64
25cfcee
e45cb37
f5f0ae3
00afeca
845caa2
2c11056
6c61296
ed33396
5b93466
37e25eb
aeb7042
aa3b119
96b728c
b551ffa
8344c02
417769d
d5cae93
2240646
94f84f5
75b012a
ad948e6
700a881
f4c672a
3648b46
4e77732
45869b2
b659866
2a50497
78bbcd6
30d93e0
322a152
45a0e14
57f4dc7
bbfe4bb
033b5e5
8094195
e82e31f
08f4abe
deacf5b
77085d3
4a7b371
f206f28
2444477
c9ab4fb
ddf91d1
0e1c584
0cd7dcb
4340cb3
dc21523
cdd39cc
1182552
1f34024
1804b5f
9a6e9f6
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing