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

Add RM low-level interface and high-level to low-level translation #23

Draft
wants to merge 9 commits into
base: main
Choose a base branch
from
Draft

Add RM low-level interface and high-level to low-level translation #23

wants to merge 9 commits into from

Commits on Nov 4, 2024

  1. Add RM base interface module 

    This describes the interface exposed by the transparent instantiation
of the RM specification.
    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    9727051 View commit details
    Browse the repository at this point in the history

  2. actionsDelta argument should be Set Action

    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    b271268 View commit details
    Browse the repository at this point in the history

  3. A version of the base spec where the logic field is the logic type

    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    89162af View commit details
    Browse the repository at this point in the history

  4. Add full Anoma Set API

    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    00edc58 View commit details
    Browse the repository at this point in the history

  5. The Anoma Set type should only be used at the base layer 

    Most Set operations can be done using the Juvix Set type. The only
operations that are required for the Anoma interface are those which
translate to/from the Stdlib Set type.
    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    9c31c12 View commit details
    Browse the repository at this point in the history

  6. Add Set import

    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    43d6c6d View commit details
    Browse the repository at this point in the history

  7. Add Anoma System interface files

    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    b76fabd View commit details
    Browse the repository at this point in the history

  8. Add names for Base Resource types

    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    b6b6db9 View commit details
    Browse the repository at this point in the history

  9. Use Base types in Resource Types

    @paulcadman
    paulcadman committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    c29c9da View commit details
    Browse the repository at this point in the history