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
[Merged by Bors] - chore(Data/List/Join): better notation #11724
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me, thanks for doing this. As I understand it, this PR mostly
- uses
L
for a list (instead ofl
) more consistently - uses dot notation more.
Can you add this to the PR description, please?
There are two different notations with "dots" that I used here. I don't know how to call the latter in words. |
For me, "dot notation" is writing "hf.image" instead of "IsCompact.image hf" (when |
Thanks! bors merge |
Summary of changes (all changes are cosmetic): * use `L` for a 2D lists instead of `l` consistently * use dot notation more * use anonymous function argument
Pull request successfully merged into master. Build succeeded: |
Summary of changes (all changes are cosmetic): * use `L` for a 2D lists instead of `l` consistently * use dot notation more * use anonymous function argument
Summary of changes (all changes are cosmetic): * use `L` for a 2D lists instead of `l` consistently * use dot notation more * use anonymous function argument
Summary of changes (all changes are cosmetic): * use `L` for a 2D lists instead of `l` consistently * use dot notation more * use anonymous function argument
Summary of changes (all changes are cosmetic): * use `L` for a 2D lists instead of `l` consistently * use dot notation more * use anonymous function argument
Summary of changes (all changes are cosmetic):
L
for a 2D lists instead ofl
consistently