Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Icons IntelillJ Arrow Meta plugin #30

Closed
israelperezglez opened this issue Sep 9, 2019 · 7 comments
Closed

Icons IntelillJ Arrow Meta plugin #30

israelperezglez opened this issue Sep 9, 2019 · 7 comments
Assignees
@israelperezglez

Comments

@israelperezglez
Copy link

We have to create 4 icons for Arrow Meta:

  1. Nothing: ⊥
  2. Polymorphic: ∀
  3. Bind: >>=
  4. Injection: *
@israelperezglez israelperezglez self-assigned this Sep 9, 2019
@israelperezglez
Copy link
Author

israelperezglez commented Sep 12, 2019 •
edited

Link to proposal
https://invis.io/79TUNBSD8ZV#/383431536__icons-Plugin

@israelperezglez
Copy link
Author

israelperezglez commented Sep 30, 2019 •
edited

Icons png (1x=16px / 2x=32px)
I attach the icons with the version of Arrow Optics
icons-arrow-meta-plugin.zip
@raulraja @franciscodr @pakoito

@pakoito
Copy link
Member

pakoito commented Sep 30, 2019

There's a small typo on the file names. Higuer -> Higher

@israelperezglez
Copy link
Author

Thanks @pakoito , I will fix that

@israelperezglez
Copy link
Author

@i-walker You can take here the icons for Intellij ;)

@i-walker
Copy link
Member

@israelperezglez Thanks buddy

@israelperezglez
Copy link
Author

@i-walker I attach the icons (product+coproduct also) to 12px.
icons-arrow-meta-plugin-12.zip

@rachelcarmena rachelcarmena transferred this issue from arrow-kt/arrow Oct 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@israelperezglez israelperezglez

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@raulraja @pakoito @israelperezglez @i-walker