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

Characterization of Rezk Completion #841

Merged
merged 21 commits into from
Aug 11, 2022
Merged

Characterization of Rezk Completion #841

merged 21 commits into from
Aug 11, 2022

Commits on Jun 2, 2022

  1. a bit

    @kangrongji
    kangrongji committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    b357f48 View commit details
    Browse the repository at this point in the history

  2. fully-faithfulness

    @kangrongji
    kangrongji committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    98edcd9 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2022

  1. more

    @kangrongji
    kangrongji committed Jun 3, 2022
    Configuration menu
    Copy the full SHA
    263332b View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2022

  1. done

    @kangrongji
    kangrongji committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    45ef2a4 View commit details
    Browse the repository at this point in the history

  2. comment

    @kangrongji
    kangrongji committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    0e7b12c View commit details
    Browse the repository at this point in the history

  3. everything

    @kangrongji
    kangrongji committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    ad7ec28 View commit details
    Browse the repository at this point in the history

  4. fix

    @kangrongji
    kangrongji committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    9795d18 View commit details
    Browse the repository at this point in the history

  5. a bit

    @kangrongji
    kangrongji committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    20c7e5d View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2022

  1. natIso is path

    @kangrongji
    kangrongji committed Jun 7, 2022
    Configuration menu
    Copy the full SHA
    135eec3 View commit details
    Browse the repository at this point in the history

  2. done

    @kangrongji
    kangrongji committed Jun 7, 2022
    Configuration menu
    Copy the full SHA
    08f2182 View commit details
    Browse the repository at this point in the history

  3. presheaf is univalent

    @kangrongji
    kangrongji committed Jun 7, 2022
    Configuration menu
    Copy the full SHA
    409d390 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2022

  1. a bit

    @kangrongji
    kangrongji committed Jun 8, 2022
    Configuration menu
    Copy the full SHA
    979a521 View commit details
    Browse the repository at this point in the history

  2. more

    @kangrongji
    kangrongji committed Jun 8, 2022
    Configuration menu
    Copy the full SHA
    51db046 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2022

  1. more

    @kangrongji
    kangrongji committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    b1da298 View commit details
    Browse the repository at this point in the history

  2. done

    @kangrongji
    kangrongji committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    dbd2cd9 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2022

  1. Merge branch 'master' of https://github.com/agda/cubical into agda-ma… 

    …ster
    @kangrongji
    kangrongji committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    6bfcd5e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'agda-master' into functor

    @kangrongji
    kangrongji committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    4ddeefb View commit details
    Browse the repository at this point in the history

  3. Merge branch 'functor' into rezk-universal

    @kangrongji
    kangrongji committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    482004f View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2022

  1. Merge branch 'master' into rezk-universal

    @kangrongji
    kangrongji committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    fe1c371 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. modify

    @kangrongji
    kangrongji committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    84e7ac6 View commit details
    Browse the repository at this point in the history

  2. move to Data.Prod

    @kangrongji
    kangrongji committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    362428a View commit details
    Browse the repository at this point in the history