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

General Eilenberg-MacLane spaces (+ some theory) #597

Merged
merged 38 commits into from
May 3, 2022
Merged

General Eilenberg-MacLane spaces (+ some theory) #597

merged 38 commits into from
May 3, 2022

Commits on Feb 12, 2020

  1. First update

    @aljungstrom
    aljungstrom committed Feb 12, 2020
    Configuration menu
    Copy the full SHA
    4da7d05 View commit details
    Browse the repository at this point in the history

  2. Minor fixes

    @aljungstrom
    aljungstrom committed Feb 12, 2020
    Configuration menu
    Copy the full SHA
    56a5e0f View commit details
    Browse the repository at this point in the history

  3. Cleanup

    @aljungstrom
    aljungstrom committed Feb 12, 2020
    Configuration menu
    Copy the full SHA
    098153c View commit details
    Browse the repository at this point in the history

  4. Cleanup

    @aljungstrom
    aljungstrom committed Feb 12, 2020
    Configuration menu
    Copy the full SHA
    67a450d View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2020

  1. fixes

    @aljungstrom
    aljungstrom committed Feb 24, 2020
    Configuration menu
    Copy the full SHA
    1df167b View commit details
    Browse the repository at this point in the history

  2. fixes1

    @aljungstrom
    aljungstrom committed Feb 24, 2020
    Configuration menu
    Copy the full SHA
    95d1c5b View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2020

  1. Pointed funs change

    @aljungstrom
    aljungstrom committed Feb 25, 2020
    Configuration menu
    Copy the full SHA
    abb8a52 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/agda/cubical

    @aljungstrom
    aljungstrom committed Feb 25, 2020
    Configuration menu
    Copy the full SHA
    d1dae3b View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2020

  1. backup

    @aljungstrom
    aljungstrom committed Feb 28, 2020
    Configuration menu
    Copy the full SHA
    c4b83e3 View commit details
    Browse the repository at this point in the history

  2. update

    @aljungstrom
    aljungstrom committed Feb 28, 2020
    Configuration menu
    Copy the full SHA
    571eebc View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2020

  1. nice

    @aljungstrom
    aljungstrom committed Mar 2, 2020
    Configuration menu
    Copy the full SHA
    c2220ab View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2021

  1. stuff

    @aljungstrom
    aljungstrom committed Jul 6, 2021
    Configuration menu
    Copy the full SHA
    37735ee View commit details
    Browse the repository at this point in the history

  2. merge

    @aljungstrom
    aljungstrom committed Jul 6, 2021
    Configuration menu
    Copy the full SHA
    a491a21 View commit details
    Browse the repository at this point in the history

  3. wups

    @aljungstrom
    aljungstrom committed Jul 6, 2021
    Configuration menu
    Copy the full SHA
    d22f5ae View commit details
    Browse the repository at this point in the history

  4. wups2

    @aljungstrom
    aljungstrom committed Jul 6, 2021
    Configuration menu
    Copy the full SHA
    2195d98 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2021

  1. Signed-off-by: aljungstrom <axel.ljungstrom@hotmail.com>

    @aljungstrom
    aljungstrom committed Jul 9, 2021
    Configuration menu
    Copy the full SHA
    8a92f66 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2021

  1. cleanup

    @aljungstrom
    aljungstrom committed Jul 11, 2021
    Configuration menu
    Copy the full SHA
    66f9c88 View commit details
    Browse the repository at this point in the history

  2. merge

    @aljungstrom
    aljungstrom committed Jul 11, 2021
    Configuration menu
    Copy the full SHA
    93b039f View commit details
    Browse the repository at this point in the history

  3. merge

    @aljungstrom
    aljungstrom committed Jul 11, 2021
    Configuration menu
    Copy the full SHA
    538c4a8 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2021

  1. stuff

    @aljungstrom
    aljungstrom committed Jul 13, 2021
    Configuration menu
    Copy the full SHA
    b2e6976 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2021

  1. stuff

    @aljungstrom
    aljungstrom committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    920178b View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2021

  1. stuff

    @aljungstrom
    aljungstrom committed Jul 17, 2021
    Configuration menu
    Copy the full SHA
    7403d26 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2021

  1. stuff

    @aljungstrom
    aljungstrom committed Jul 23, 2021
    Configuration menu
    Copy the full SHA
    7c8e10f View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2021

  1. stuff

    @aljungstrom
    aljungstrom committed Aug 12, 2021
    Configuration menu
    Copy the full SHA
    cd8630f View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2021

  1. Merge https://github.com/agda/cubical into eilen

    @aljungstrom
    aljungstrom committed Aug 19, 2021
    Configuration menu
    Copy the full SHA
    de82a67 View commit details
    Browse the repository at this point in the history

  2. trim

    @aljungstrom
    aljungstrom committed Aug 19, 2021
    Configuration menu
    Copy the full SHA
    347f349 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2021

  1. cleanup

    @aljungstrom
    aljungstrom committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    42202ea View commit details
    Browse the repository at this point in the history

  2. stuff

    @aljungstrom
    aljungstrom committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    ad7687a View commit details
    Browse the repository at this point in the history

  3. clean

    @aljungstrom
    aljungstrom committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    c503745 View commit details
    Browse the repository at this point in the history

  4. whitespace;)

    @aljungstrom
    aljungstrom committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    312622b View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2021

  1. merge

    @aljungstrom
    aljungstrom committed Dec 26, 2021
    Configuration menu
    Copy the full SHA
    b995e75 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2022

  1. wups

    @aljungstrom
    aljungstrom committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    4ca13fd View commit details
    Browse the repository at this point in the history

  2. wups2

    @aljungstrom
    aljungstrom committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    c4b7517 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2022

  1. derive flip

    @ecavallo
    ecavallo committed Jan 10, 2022
    Configuration menu
    Copy the full SHA
    cb38b9f View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2022

  1. Merge pull request #8 from ecavallo/eilentrim 

    derive flip
    @aljungstrom
    aljungstrom committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    413a77c View commit details
    Browse the repository at this point in the history

Commits on May 2, 2022

  1. fixes

    @aljungstrom
    aljungstrom committed May 2, 2022
    Configuration menu
    Copy the full SHA
    57f091a View commit details
    Browse the repository at this point in the history

  2. merge

    @aljungstrom
    aljungstrom committed May 2, 2022
    Configuration menu
    Copy the full SHA
    c43cc57 View commit details
    Browse the repository at this point in the history

  3. fix

    @aljungstrom
    aljungstrom committed May 2, 2022
    Configuration menu
    Copy the full SHA
    cdf715f View commit details
    Browse the repository at this point in the history