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

optimize Natural/fold in the strict case #2585

Merged
merged 9 commits into from
Jun 12, 2024
Merged

optimize Natural/fold in the strict case #2585

merged 9 commits into from
Jun 12, 2024

Commits on May 11, 2024

  1. optimize Natural/fold in the strict case

    @winitzki
    winitzki committed May 11, 2024
    Configuration menu
    Copy the full SHA
    e36815e View commit details
    Browse the repository at this point in the history

  2. remove tabs

    @winitzki
    winitzki committed May 11, 2024
    Configuration menu
    Copy the full SHA
    89c54f7 View commit details
    Browse the repository at this point in the history

  3. fix syntax in do block

    @winitzki
    winitzki committed May 11, 2024
    Configuration menu
    Copy the full SHA
    7bbee59 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2024

  1. Update Normalize.hs 

    Co-authored-by: Gabriella Gonzalez <GenuineGabriella@gmail.com>
    @winitzki @Gabriella439
    winitzki and Gabriella439 committed May 12, 2024
    Configuration menu
    Copy the full SHA
    9dcac33 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. adding wip code to Eval.hs

    @winitzki
    winitzki committed May 14, 2024
    Configuration menu
    Copy the full SHA
    827fc45 View commit details
    Browse the repository at this point in the history

  2. fix code

    @winitzki
    winitzki committed May 14, 2024
    Configuration menu
    Copy the full SHA
    ed07195 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Merge branch 'main' into feature/optimize_natural_fold

    @winitzki
    winitzki committed May 31, 2024
    Configuration menu
    Copy the full SHA
    9fae7ff View commit details
    Browse the repository at this point in the history

  2. remove dummy change

    @winitzki
    winitzki committed May 31, 2024
    Configuration menu
    Copy the full SHA
    33efa78 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. Merge branch 'main' into feature/optimize_natural_fold

    @winitzki
    winitzki committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    be07882 View commit details
    Browse the repository at this point in the history