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.

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

Symbols Chart #1136

Merged
merged 1 commit into from
Jun 17, 2016
Merged

Symbols Chart #1136

merged 1 commit into from
Jun 17, 2016

Conversation

zainab-ali
Copy link
Contributor

Adding a symbols chart to the docs.
This is a copy of PR #1094 with commits merged.

@zainab-ali zainab-ali mentioned this pull request Jun 16, 2016
@codecov-io
Copy link

codecov-io commented Jun 16, 2016

Current coverage is 88.77%

Merging #1136 into master will not change coverage

@@             master      #1136   diff @@
==========================================
  Files           228        228          
  Lines          3012       3012          
  Methods        2962       2962          
  Messages          0          0          
  Branches         47         47          
==========================================
  Hits           2674       2674          
  Misses          338        338          
  Partials          0          0          

Sunburst

Powered by Codecov. Last updated by 8f94d13...e229beb

@ceedubs
Copy link
Contributor

ceedubs commented Jun 17, 2016

👍 thanks! Looks good to me. Do we need to add a link to this somewhere on the site, or is a link automatically being added?

@kailuowang
Copy link
Contributor

kailuowang commented Jun 17, 2016

👍 thanks! LGTM modular the link somewhere to this doc. Also, just want to note here that either #1112 or this one might need to update the cartesian builder symbol depending on which PR gets merged first.

@non
Copy link
Contributor

non commented Jun 17, 2016

Looks great! Thanks!

We'll have to work to keep this up-to-date but I think it will be very useful. 👍

@non non merged commit 5ae87a2 into typelevel:master Jun 17, 2016
@zainab-ali zainab-ali deleted the symbols_chart branch June 17, 2016 22:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants