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

feat(measure_theory): prove that the Giry monad is a monad in the category_theory sense #1259

Merged
merged 7 commits into from Sep 3, 2019
Merged

feat(measure_theory): prove that the Giry monad is a monad in the category_theory sense #1259

merged 7 commits into from Sep 3, 2019

Commits on Jul 24, 2019

  1. feat(measure_theory): prove that the Giry monad is a monad in the cat… 

    …egory_theory sense
    @johoelzl
    johoelzl committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    74b1327 View commit details
    Browse the repository at this point in the history

  2. Add spaces to fix alignment

    @jcommelin
    jcommelin committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    e9bdeb3 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into giry_monad

    @johoelzl
    johoelzl committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    fee6949 View commit details
    Browse the repository at this point in the history

  4. document Measure

    @johoelzl
    johoelzl committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    707832d View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2019

  1. Add documentation

    @rwbarton
    rwbarton committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    c968698 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into HEAD

    @rwbarton
    rwbarton committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    a239f5f View commit details
    Browse the repository at this point in the history

  3. Add space before colon

    @jcommelin
    jcommelin committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    de52f18 View commit details
    Browse the repository at this point in the history