Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: agda/cubical
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: owen-milner/cubical
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 5 commits
  • 0 files changed
  • 2 contributors

Commits on Oct 19, 2023

  1. Whiteheads Lemma

    @owen-milner
    owen-milner committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    974e7e2 View commit details
    Browse the repository at this point in the history

  2. comments in Whiteheads lemma file

    @owen-milner
    owen-milner committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    af97ed5 View commit details
    Browse the repository at this point in the history

  3. delete-trailing-whitespace

    @owen-milner
    owen-milner committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    e0756ca View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. moved lemmas, removed duplicates

    @owen-milner
    owen-milner committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    b91db4b View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Merge branch 'agda:master' into master

    @owen-milner
    owen-milner authored Nov 9, 2023
    Configuration menu
    Copy the full SHA
    14ef4ad View commit details
    Browse the repository at this point in the history
Loading