german1

2024-05-09 08:48:00 +02:00
parent 4744920468
commit 137aaf81f4
3 changed files with 6 additions and 6 deletions
--- a/lambda/src/LambdaDatasets/GermanDataset.hs
+++ b/lambda/src/LambdaDatasets/GermanDataset.hs
@@ -92,7 +92,7 @@ lE =
          { lambdaSpucker = 1,
            lambdaSchlucker = 2,
            symbol = 30,
-            variable = 10,
+            variable = 20,
            constant = 5
          }
    }