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

WIP, Liveshare: Limits #28

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

WIP, Liveshare: Limits #28

wants to merge 13 commits into from

Commits on Jun 10, 2019

  1. split TerminalObject and Product into separate files

    @marcosh
    marcosh committed Jun 10, 2019
    Configuration menu
    Copy the full SHA
    0484b6f View commit details
    Browse the repository at this point in the history

  2. prove that terminal objects are isomorphic

    @marcosh
    marcosh committed Jun 10, 2019
    Configuration menu
    Copy the full SHA
    794372f View commit details
    Browse the repository at this point in the history

  3. live sharing session

    @wires @marcosh
    wires authored and marcosh committed Jun 10, 2019
    Configuration menu
    Copy the full SHA
    34049f8 View commit details
    Browse the repository at this point in the history

  4. useless fixes

    @marcosh
    marcosh committed Jun 10, 2019
    Configuration menu
    Copy the full SHA
    daf4928 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2019

  1. liveshare

    liveshare committed Jun 13, 2019
    Configuration menu
    Copy the full SHA
    f3454e7 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2019

  1. clean code of shared coding session

    @marcosh
    marcosh committed Jun 17, 2019
    Configuration menu
    Copy the full SHA
    ae5b646 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2019

  1. liveshare

    @wires
    wires committed Jun 20, 2019
    Configuration menu
    Copy the full SHA
    569595b View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2019

  1. fix style

    @marcosh
    marcosh committed Jun 27, 2019
    Configuration menu
    Copy the full SHA
    55459cb View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2019

  1. live session 11.07.2019

    @clayrat
    clayrat committed Jul 11, 2019
    Configuration menu
    Copy the full SHA
    c124b7d View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2019

  1. dualize for left unitor

    @clayrat
    clayrat committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    ff8efe9 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2019

  1. prove compLaw

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

  2. prettify compLaw

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

Commits on Jul 25, 2019

  1. live session 25.07.2019

    @clayrat
    clayrat committed Jul 25, 2019
    Configuration menu
    Copy the full SHA
    f60b6e2 View commit details
    Browse the repository at this point in the history