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

Multiple lookups, simpler rec environment #996

Merged
merged 6 commits into from
Jan 8, 2024
Merged

Multiple lookups, simpler rec environment #996

merged 6 commits into from
Jan 8, 2024

Commits on Jan 6, 2024

  1. two lookups per step

    @gabriel-barrett
    gabriel-barrett committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    f53a84e View commit details
    Browse the repository at this point in the history

  2. let/letrec refactor

    @gabriel-barrett
    gabriel-barrett committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    fa49aea View commit details
    Browse the repository at this point in the history

  3. recursive enviroments simplified

    @gabriel-barrett
    gabriel-barrett committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    e2e1e28 View commit details
    Browse the repository at this point in the history

  4. fixed eval/proof iterations

    @gabriel-barrett
    gabriel-barrett committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    271be4a View commit details
    Browse the repository at this point in the history

  5. New tag for recursive variables

    @gabriel-barrett
    gabriel-barrett committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    3a5c7e7 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. fixed lurk-lib and demo tests

    @gabriel-barrett
    gabriel-barrett committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    57b3561 View commit details
    Browse the repository at this point in the history