Skip to content

Fix CDF and CCDF definitions#84

Merged
jgabry merged 1 commit intostan-dev:masterfrom
mcol:issue_71
Sep 23, 2019
Merged

Fix CDF and CCDF definitions#84
jgabry merged 1 commit intostan-dev:masterfrom
mcol:issue_71

Conversation

@mcol
Copy link
Member

@mcol mcol commented Sep 21, 2019

Submission Checklist

  • Builds locally
  • Declare copyright holder and open-source license: see below

Summary

Fixes #71.

Copyright and Licensing

Please list the copyright holder for the work you are submitting (this will be you or your assignee, such as a university or company):

Marco Colombo

By submitting this pull request, the copyright holder is agreeing to license the submitted work under the following licenses:

@jgabry jgabry merged commit f046fa1 into stan-dev:master Sep 23, 2019
@bob-carpenter
Copy link
Member

Thanks much for this. No idea how I garbled that the first time.

@mcol mcol deleted the issue_71 branch September 23, 2019 18:32
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.

CDF definition is wrong for discrete distributions

3 participants