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 base interface module #19

Closed
wants to merge 4 commits into from
Closed

Add RM base interface module #19

wants to merge 4 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
    11ec364 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
    3127ad0 View commit details
    Browse the repository at this point in the history

  3. Add full Anoma Set API

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

  4. 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
    8cdcfe2 View commit details
    Browse the repository at this point in the history