Modules in Juvix¶

package : Package :=
  defaultPackage@{
    name := "nspec";
    version := mkVersion 0 1 1;
    dependencies :=
      [github "anoma" "juvix-stdlib" "v0.8.0"]
  };