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.

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

[ compat ] Resolve build errors #11

Closed
wants to merge 3 commits into from

Commits on Sep 4, 2024

  1. Fix indentation error.

    ReilySiegel committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    1604187 View commit details
    Browse the repository at this point in the history
  2. Export infixr for <*>>.

    This resolves a build warning.
    ReilySiegel committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    3be2e17 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    93cc5fd View commit details
    Browse the repository at this point in the history