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

Clean up library #789

Merged
merged 26 commits into from
May 13, 2022
Merged

Clean up library #789

merged 26 commits into from
May 13, 2022

Commits on Apr 6, 2022

  1. Fix Direct-sum : 

    The index and the groups were at the same level.
The should be at different one, for instance if the index is Nat, and the group something else
    @thomas-lamiaux
    thomas-lamiaux committed Apr 6, 2022
    Configuration menu
    Copy the full SHA
    3f62a82 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'agda:master' into master

    @thomas-lamiaux
    thomas-lamiaux committed Apr 6, 2022
    Configuration menu
    Copy the full SHA
    620bfc5 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2022

  1. Merge branch 'agda:master' into master

    @thomas-lamiaux
    thomas-lamiaux committed Apr 20, 2022
    Configuration menu
    Copy the full SHA
    d6d6104 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2022

  1. Merge branch 'agda:master' into master

    @thomas-lamiaux
    thomas-lamiaux committed May 3, 2022
    Configuration menu
    Copy the full SHA
    574ce6d View commit details
    Browse the repository at this point in the history

Commits on May 5, 2022

  1. Merge branch 'agda:master' into master

    @thomas-lamiaux
    thomas-lamiaux committed May 5, 2022
    Configuration menu
    Copy the full SHA
    64efe74 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2022

  1. Merge branch 'agda:master' into master

    @thomas-lamiaux
    thomas-lamiaux committed May 7, 2022
    Configuration menu
    Copy the full SHA
    a4fa9af View commit details
    Browse the repository at this point in the history

  2. Merge branch 'agda:master' into master

    @thomas-lamiaux
    thomas-lamiaux committed May 7, 2022
    Configuration menu
    Copy the full SHA
    e711dde View commit details
    Browse the repository at this point in the history

Commits on May 9, 2022

  1. Merge branch 'agda:master' into master

    @thomas-lamiaux
    thomas-lamiaux committed May 9, 2022
    Configuration menu
    Copy the full SHA
    fdf9af8 View commit details
    Browse the repository at this point in the history

  2. Clean up polynomials

    @thomas-lamiaux
    thomas-lamiaux committed May 9, 2022
    Configuration menu
    Copy the full SHA
    49a6939 View commit details
    Browse the repository at this point in the history

  3. Renaming for Prop + partial fix

    @thomas-lamiaux
    thomas-lamiaux committed May 9, 2022
    Configuration menu
    Copy the full SHA
    353f74a View commit details
    Browse the repository at this point in the history

  4. Fix Cohomology

    @thomas-lamiaux
    thomas-lamiaux committed May 9, 2022
    Configuration menu
    Copy the full SHA
    28e1057 View commit details
    Browse the repository at this point in the history

  5. Fix Algebra

    @thomas-lamiaux
    thomas-lamiaux committed May 9, 2022
    Configuration menu
    Copy the full SHA
    1447647 View commit details
    Browse the repository at this point in the history

  6. Fix categories

    @thomas-lamiaux
    thomas-lamiaux committed May 9, 2022
    Configuration menu
    Copy the full SHA
    36e87f7 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2022

  1. Fix data

    @thomas-lamiaux
    thomas-lamiaux committed May 10, 2022
    Configuration menu
    Copy the full SHA
    9fe7824 View commit details
    Browse the repository at this point in the history

  2. Fix Homotopy

    @thomas-lamiaux
    thomas-lamiaux committed May 10, 2022
    Configuration menu
    Copy the full SHA
    d5b57ba View commit details
    Browse the repository at this point in the history

  3. Fix

    @thomas-lamiaux
    thomas-lamiaux committed May 10, 2022
    Configuration menu
    Copy the full SHA
    b3f5f6e View commit details
    Browse the repository at this point in the history

  4. Fix

    @thomas-lamiaux
    thomas-lamiaux committed May 10, 2022
    Configuration menu
    Copy the full SHA
    b62ebb6 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2022

  1. Clean import section in half the Zcohomology files

    @thomas-lamiaux
    thomas-lamiaux committed May 11, 2022
    Configuration menu
    Copy the full SHA
    1e03252 View commit details
    Browse the repository at this point in the history

  2. Finish enforcing import convention in ZCohomology

    @thomas-lamiaux
    thomas-lamiaux committed May 11, 2022
    Configuration menu
    Copy the full SHA
    48f2608 View commit details
    Browse the repository at this point in the history

  3. Remove a useless lemma that was badly named

    @thomas-lamiaux
    thomas-lamiaux committed May 11, 2022
    Configuration menu
    Copy the full SHA
    8e1eaa3 View commit details
    Browse the repository at this point in the history

  4. Enforce name convention for groups + fx ZCohomology

    @thomas-lamiaux
    thomas-lamiaux committed May 11, 2022
    Configuration menu
    Copy the full SHA
    998b524 View commit details
    Browse the repository at this point in the history

  5. Fix Homotopy and else

    @thomas-lamiaux
    thomas-lamiaux committed May 11, 2022
    Configuration menu
    Copy the full SHA
    41e0699 View commit details
    Browse the repository at this point in the history

  6. Enforce notion CommRing + Fix

    @thomas-lamiaux
    thomas-lamiaux committed May 11, 2022
    Configuration menu
    Copy the full SHA
    935dcea View commit details
    Browse the repository at this point in the history

Commits on May 12, 2022

  1. Remove Foundations.Everything part1

    @thomas-lamiaux
    thomas-lamiaux committed May 12, 2022
    Configuration menu
    Copy the full SHA
    e1ee289 View commit details
    Browse the repository at this point in the history

  2. Fix Foundations.Everything

    @thomas-lamiaux
    thomas-lamiaux committed May 12, 2022
    Configuration menu
    Copy the full SHA
    544a7be View commit details
    Browse the repository at this point in the history

  3. Renaming Direct-Sum to DirectSum

    @thomas-lamiaux
    thomas-lamiaux committed May 12, 2022
    Configuration menu
    Copy the full SHA
    4620fec View commit details
    Browse the repository at this point in the history