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

Add support for custom handles #14

Open
wants to merge 16 commits into
base: master
Choose a base branch
from
Open

Commits on Jun 19, 2024

  1. Add support for custom handles

    Lysxia authored and tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    8aeaa57 View commit details
    Browse the repository at this point in the history
  2. Use IsHandle instead of CovariantSig

    Lysxia authored and tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    03e4529 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c95deb4 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    4c8d9eb View commit details
    Browse the repository at this point in the history
  5. Fix test

    Lysxia authored and tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    d166841 View commit details
    Browse the repository at this point in the history
  6. Ormolu

    tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    6359d16 View commit details
    Browse the repository at this point in the history
  7. Wrap lines

    tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    e2f2f68 View commit details
    Browse the repository at this point in the history
  8. Ormolu

    tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    a6c85f5 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    640b2d3 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    aba5c0b View commit details
    Browse the repository at this point in the history
  11. Define and use within

    tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    342c96a View commit details
    Browse the repository at this point in the history
  12. Inline variable

    tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    a5c9ff7 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    7b592c2 View commit details
    Browse the repository at this point in the history
  14. Needed for 8.10

    tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    75ba088 View commit details
    Browse the repository at this point in the history
  15. Doesn't work :(

    tomjaguarpaw committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    ba3bcd8 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. Configuration menu
    Copy the full SHA
    be217da View commit details
    Browse the repository at this point in the history