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

Lambda Reducer #156

Closed
wants to merge 4 commits into from
Closed

Lambda Reducer #156

wants to merge 4 commits into from

Commits on Oct 9, 2023

  1. Modulo Functionality 

    Adds a modulo class to Lambda, Geb, SeqN categories, representing
modulo arithmetic.
    @agureev
    agureev committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    77d3901 View commit details
    Browse the repository at this point in the history

  2. Lambda Reducer 

    Implements recursive beta-reduction of Lambda terms alongside several
arithmetic/predicate optimizations.
    @agureev
    agureev committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    35b729f View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/artem/modulo-func' into artem/la… 

    …mbda-reducer
    @agureev
    agureev committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    f9b0b89 View commit details
    Browse the repository at this point in the history

  4. Reducer Changes for Modulo 

    Adds modulo reductions.
    @agureev
    agureev committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    b1ce8e9 View commit details
    Browse the repository at this point in the history