proj: hope to fix logical error

.github/README.md

@@ -104,13 +104,14 @@ implementation group: 'org.aya-prover', name: '[project name]', version: '[lates
 ```
 
 + `[project name]` specifies the subproject of Aya you want to use,
-  and the options are `pretty`, `base`, `cli-impl`, `cli-console`, `parser`, etc.
+  and the options are `pretty`, `base`, `cli-impl`, `parser`, etc.
   + The type checker lives in `base` and `parser`.
   + The generalized pretty printing framework is in `pretty`.
   + The library system, literate mode, single-file type checker, and basic REPL are in `cli-impl`.
-  + The generalized binary operator parser, generalized tree builder,
-    generalized mutable graph, generalized termination checker,
+  + The generalized tree builder, generalized termination checker,
     and a bunch of other utilities (files, etc.) are in `tools`.
+  + The generalized binary operator parser, generalized mutable graph are
+    in `tools-kala` because they depend on a larger subset of the kala library.
   + The command and argument parsing framework is in `tools-repl`.
     It offers an implementation of jline3 parser based on Grammar-Kit and relevant facilities.
   + The literate-markdown related infrastructure is in `tools-md`.

base/src/main/java/module-info.java

@@ -2,7 +2,7 @@
   requires transitive aya.md;
   requires transitive aya.pretty;
   requires transitive aya.util;
-  requires transitive aya.util.kala;
+  requires transitive aya.util.more;
   requires transitive aya.guest.cubical;
   requires transitive kala.base;
   requires transitive kala.collection;

tools-kala/src/main/java/module-info.java

@@ -1,4 +1,4 @@
-module aya.util.kala {
+module aya.util.more {
   requires aya.pretty;
   requires transitive aya.util;
 

tools-kala/src/main/java/org/aya/util/terck/Diagonal.java

@@ -15,7 +15,7 @@ public record Diagonal<C, T, P>(
 ) implements Docile {
   public static <C, T, P> @NotNull Diagonal<C, T, P> create(@NotNull CallMatrix<C, T, P> matrix) {
     assert matrix.rows() == matrix.cols();
-    var diag = IntRange.openClosed(0, matrix.rows())
+    var diag = IntRange.closedOpen(0, matrix.rows())
       .mapToObjTo(MutableList.create(), i -> matrix.matrix()[i][i])
       .toImmutableSeq();
     return new Diagonal<>(matrix, diag);

tools-md/src/main/java/module-info.java

@@ -1,6 +1,6 @@
 module aya.md {
   requires aya.util;
-  requires aya.util.kala;
+  requires aya.util.more;
   requires transitive aya.pretty;
 
   requires org.commonmark;