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

Add ApSingle #63

Merged
merged 4 commits into from Aug 2, 2020
Merged

Add ApSingle #63

merged 4 commits into from Aug 2, 2020

Commits on Jun 30, 2020

  1. Add ApSingle. ApSingle is like Ap, except a row of type operators are… 

    … applied to a single type instead of a row of types.
    Jordan Woehr committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    ebbbb4c View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2020

  1. Merge remote-tracking branch 'upstream/master' into ApSingle

    Jordan Woehr committed Jul 20, 2020
    Configuration menu
    Copy the full SHA
    af20c6e View commit details
    Browse the repository at this point in the history

  2. Add value-level functions for ApSingle

    Jordan Woehr committed Jul 20, 2020
    Configuration menu
    Copy the full SHA
    381347b View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2020

  1. Remove unnecessary coerce and simplify eraseZipSingle types

    Jordan Woehr committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    9c55ff0 View commit details
    Browse the repository at this point in the history