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

Let rec patterns #2031

Merged
merged 7 commits into from
Sep 12, 2024
Merged

Let rec patterns #2031

merged 7 commits into from
Sep 12, 2024

Commits on Sep 11, 2024

  1. Add attrs to let patterns

    @jneem
    jneem committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    d1b5fdd View commit details
    Browse the repository at this point in the history

  2. Implement let-rec patterns

    @jneem
    jneem committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    407aee8 View commit details
    Browse the repository at this point in the history

  3. Fix markdown

    @jneem
    jneem committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    682f128 View commit details
    Browse the repository at this point in the history

  4. More markdown

    @jneem
    jneem committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    73e7770 View commit details
    Browse the repository at this point in the history

  5. Put a test in the right place

    @jneem
    jneem committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    a5d5f57 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. Revert the comment change

    @jneem
    jneem committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    0eda370 View commit details
    Browse the repository at this point in the history

  2. Review comments

    @jneem
    jneem committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    e9162bf View commit details
    Browse the repository at this point in the history