anoma / juvix-arm-specs

0 stars 1 forks source link

The transparent ARM

This repo contains the transparent instantiation of the general Anoma resource machine (ARM) interface in Juvix according to specs v2.