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
0015 derive seq #53
0015 derive seq #53
Changes from 107 commits
1c4501f
faef0b1
fd63b37
80d3943
ec5a9e4
0333d95
7fd7716
802aacc
7fd07b4
9cc26d1
329feaa
29be830
7720c05
e87ca66
a5e61f0
a60ccd6
cd89804
ae2da80
30857e3
73ebe2d
0eb4677
dfd7710
6652aae
59bcc71
7f9f388
4c81ae1
4ed5c41
ca26d22
0456d55
0e1eab4
84a4f7d
7cf1072
7dff0aa
cb2f2e8
454b7d8
fafe01b
3a4b355
37575b2
c176654
dafcfef
e128779
0895764
339039e
ab9db14
52c52fa
229c0bd
c83bfdf
a362578
934a15c
0dcf0fc
a44c865
efb423f
365fa09
b267610
cbd38eb
9cb23f5
1bebdd8
a8f1bf5
92e490c
d9031fd
5987684
2791ef0
2a8dbf5
a718207
8cc8dcb
609b60e
e8beefc
e4e7c99
b854a10
c737310
bbbadd3
54a6460
79e79da
42d4d5a
66644eb
bb2e0d2
97439f6
73fe395
cc37420
b17161c
3dba6d9
04254ac
464f227
429eebe
9b447d1
391df0a
372f147
6801222
994012b
1230e7c
e71132b
b8a2e20
ed9a24d
2a11a5c
b7d104d
58688df
a56d378
b99cb9d
8662fa7
c4ea73d
b42e7be
297b4cb
e79b87b
13b57cb
06437a7
25828c4
d586512
fec01fc
1aaa289
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.