Modules¶
All the Juvix modules for the Anoma Specification are listed below.
Juvix Package version¶
package : Package :=
defaultPackage@{
name := "nspec";
version := mkVersion 1 0 0;
dependencies :=
[github "anoma" "juvix-stdlib" "v0.11.0"]
};