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

Add a new definition of spectral locale and factor out some related notion to modules of their own #175

Merged
merged 15 commits into from
Aug 21, 2023
Merged

Add a new definition of spectral locale and factor out some related notion to modules of their own #175

merged 15 commits into from
Aug 21, 2023

Commits on Aug 19, 2023

  1. Move the definition of the WayBelow relation to a module of its own

    @ayberkt
    ayberkt committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    a804cfd View commit details
    Browse the repository at this point in the history

  2. Move definitions of compactness to a new module of their own

    @ayberkt
    ayberkt committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    79c9efd View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2023

  1. Add flags

    @ayberkt
    ayberkt committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    c226694 View commit details
    Browse the repository at this point in the history

  2. Add flags

    @ayberkt
    ayberkt committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    e41044c View commit details
    Browse the repository at this point in the history

  3. Add the new definition of a spectral locale

    @ayberkt
    ayberkt committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    a900000 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Merge branch 'master' into new-defn-of-spectrality

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    c9ad806 View commit details
    Browse the repository at this point in the history

  2. renamed: Spectral.lagda -> Spectrality.lagda

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    0dd731a View commit details
    Browse the repository at this point in the history

  3. Change module name as to match file name

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    03ee8d5 View commit details
    Browse the repository at this point in the history

  4. Remove unused import

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    737f3f2 View commit details
    Browse the repository at this point in the history

  5. Improve comment

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    1bbfa14 View commit details
    Browse the repository at this point in the history

  6. Make naming more consistent

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    3dec1b3 View commit details
    Browse the repository at this point in the history

  7. Add comment

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    9981d51 View commit details
    Browse the repository at this point in the history

  8. Improve naming

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    e59f8a9 View commit details
    Browse the repository at this point in the history

  9. Add the forgotten directedness requirement

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    7fc92f1 View commit details
    Browse the repository at this point in the history

  10. Commit forgotten change

    @ayberkt
    ayberkt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    11cfb65 View commit details
    Browse the repository at this point in the history