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

A lot of minor cleanup #255

Merged
merged 8 commits into from
Sep 18, 2023
Merged

A lot of minor cleanup #255

merged 8 commits into from
Sep 18, 2023

Commits on Sep 18, 2023

  1. Some cleanup

    @plt-amy
    plt-amy committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    c9ce683 View commit details
    Browse the repository at this point in the history

  2. sort imports

    @plt-amy
    plt-amy committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    f1f3e1b View commit details
    Browse the repository at this point in the history

  3. don't build hls (lmao)

    @plt-amy
    plt-amy committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    f2be995 View commit details
    Browse the repository at this point in the history

  4. bump version in cabal.project

    @plt-amy
    plt-amy committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    6101fdd View commit details
    Browse the repository at this point in the history

  5. mention _ = foo trick; add quiver section

    @plt-amy
    plt-amy committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    55b484a View commit details
    Browse the repository at this point in the history

  6. Trim dependency graph of Data.Fin

    @plt-amy
    plt-amy committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    8d1d353 View commit details
    Browse the repository at this point in the history

  7. Rename ∙-{id,inv,cancel}-{l,r} to ∙-idl/...

    @plt-amy
    plt-amy committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    5e5bebf View commit details
    Browse the repository at this point in the history

  8. remove a whole bunch of redundant imports

    @plt-amy
    plt-amy committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    b4a93c5 View commit details
    Browse the repository at this point in the history