«Z13725» խմբագրումներու միջեւ տարբերութիւն

Ընթացիկ տարբերակը 10:54, 7 Մարտ 2024ի դրութեամբ

This page displays in a limited way without JavaScript.

@@ Տող 27. / Տող 27. @@
             "Z7K1": "Z889",
             "Z889K2": [
-                "Z1",
+                "Z13518",
                 {
                     "Z1K1": "Z13518",
@@ Տող 37. / Տող 37. @@
                 }
             ],
-            "Z889K3": "Z866"
+            "Z889K3": "Z13522"
         }
     },
@@ Տող 43. / Տող 43. @@
         "Z1K1": "Z12",
         "Z12K1": [
-            "Z11"
+            "Z11",
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1002",
+                "Z11K2": "Reverse (untyped) list of Natural numbers"
+            }
         ]
     },
@@ Տող 55. / Տող 60. @@
         "Z1K1": "Z12",
         "Z12K1": [
-            "Z11"
+            "Z11",
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1002",
+                "Z11K2": "Type handling error"
+            }
         ]
     }