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

Updated standard library, tests, and documentation to adopt the new where clause notation #114

Merged
merged 10 commits into from
Mar 5, 2020
Merged

Updated standard library, tests, and documentation to adopt the new where clause notation #114

merged 10 commits into from
Mar 5, 2020

Commits on Mar 5, 2020

  1. Updated standard library, tests, and documentation to adopt the new w… 

    …here clause notation
    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    db67602 View commit details
    Browse the repository at this point in the history

  2. Making axioms part of the GAT signature object to pave the way for la… 

    …ter use
    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    93b0d06 View commit details
    Browse the repository at this point in the history

  3. Fixed typo

    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    e025659 View commit details
    Browse the repository at this point in the history

  4. Added type replacement for axioms

    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    7e0ef9f View commit details
    Browse the repository at this point in the history

  5. Added test for type replacement in the Axioms

    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    e3296a9 View commit details
    Browse the repository at this point in the history

  6. Fixed lines longer than 80 characters

    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    9efe40e View commit details
    Browse the repository at this point in the history

  7. Changed the syntax for defining function aliases and context variables

    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    ae125e7 View commit details
    Browse the repository at this point in the history

  8. Added code generation for method aliases

    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    debc920 View commit details
    Browse the repository at this point in the history

  9. Fixed a docs typo

    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    d06c890 View commit details
    Browse the repository at this point in the history

  10. Fixed ambiguous macrocall decomposition

    @mehalter
    mehalter committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    2456651 View commit details
    Browse the repository at this point in the history