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

def: macros for creating copattern definitions #376

Merged
merged 10 commits into from
Jun 21, 2024
Merged

def: macros for creating copattern definitions #376

merged 10 commits into from
Jun 21, 2024

Commits on Jun 21, 2024

  1. def: macros for creating copattern definitions

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    a347f5e View commit details
    Browse the repository at this point in the history

  2. chore: trim down imports

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    36bc124 View commit details
    Browse the repository at this point in the history

  3. def: allow functions in 'make-copattern', add 'define-eta-expansion'

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    48ab466 View commit details
    Browse the repository at this point in the history

  4. def: eta-expand-with

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    907c585 View commit details
    Browse the repository at this point in the history

  5. def: replace 'define-coherator-dualiser' and 'cohere-dualise-into'

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    ce1659e View commit details
    Browse the repository at this point in the history

  6. chore: re-add cohere! and dualise!

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    939e4b1 View commit details
    Browse the repository at this point in the history

  7. def: tidy up copatterns

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    8180ed5 View commit details
    Browse the repository at this point in the history

  8. def: banish make-eta-expansion

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    0a6d836 View commit details
    Browse the repository at this point in the history

  9. use type from signature

    @plt-amy
    plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    09f4327 View commit details
    Browse the repository at this point in the history

  10. use copatterns to define Sheaves; fully eta-expand

    @plt-amy
    plt-amy committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    f1b33e8 View commit details
    Browse the repository at this point in the history