search

anoma / juvix-arm-specs

0 stars 1 forks source link

Add RM base interface module #19

Closed paulcadman closed 2 weeks ago

paulcadman commented 2 weeks ago

This describes the interface exposed by the transparent instantiation of the RM specification.

paulcadman commented 2 weeks ago

Closing in favour of https://github.com/anoma/juvix-arm-specs/pull/23. Thanks for the answers on here @mariari, these will be incorporated into the other branch.