Anoma Abstract Resource Machine

This project is a testbed for Anoma applications written in Juvix.

See Anoma.juvix for the API.

Apps

The following apps can be run:

App	Anoma Example
TwoPartyExchange.juvix	AppsTest.juvix#L65
Sudoku.juvix	AppsTest.juvix#L18

Tests

Install the Juvix compiler and run:

make