yep the morpho sucks, but let's fix it in next commits

2026-09-17 07:46:01 -06:00 · 2025-08-25 17:01:43 +02:00
parent c9c1723090
commit 4b78bd6c67
7 changed files with 47 additions and 18 deletions
@@ -1,6 +1,6 @@
 concrete NumeralGla of Numeral = CatGla [Numeral,Digits] **
  open Prelude, ResGla in {
-
+{-
  lincat
    Digit = LinNumeral ;      -- 2..9
    Sub10,                    -- 1..9
@@ -112,4 +112,6 @@ concrete NumeralGla of Numeral = CatGla [Numeral,Digits] **
        } ;
      n = Pl ; -- TODO: handle number 1
      } ;
+
+      -}
 }