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

Preorder Refactor #41

Merged
merged 4 commits into from
Jul 20, 2023
Merged

Preorder Refactor #41

merged 4 commits into from
Jul 20, 2023

Commits on Jul 19, 2023

  1. Refactor of Preorders w/ univalence and library display

    @GenericMonkey
    GenericMonkey committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    5e49b72 View commit details
    Browse the repository at this point in the history

  2. fixed naming issues with module hiding

    @GenericMonkey
    GenericMonkey committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    330a29f View commit details
    Browse the repository at this point in the history

  3. PR Comments + changing comment style to fix CI

    @GenericMonkey
    GenericMonkey committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    6f973e4 View commit details
    Browse the repository at this point in the history

  4. moving Fst functor to Base.More

    @GenericMonkey
    GenericMonkey committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    dbacb50 View commit details
    Browse the repository at this point in the history