fix Iris

reduce population to fix memory issues in higher depth case
variation 4
2024-05-09 10:54:08 +02:00 · 2024-05-09 10:15:56 +02:00 · 2024-05-09 09:28:10 +02:00 · 2024-05-09 09:28:10 +02:00 · 2024-05-09 09:00:48 +02:00
1 changed files with 2 additions and 2 deletions
--- a/lambda/src/Main.hs
+++ b/lambda/src/Main.hs
@@ -9,8 +9,8 @@ import Pretty
 import Protolude hiding (for)
 import System.IO
 -- import LambdaDatasets.IrisDataset
-import LambdaDatasets.NurseryDataset
+-- import LambdaDatasets.NurseryDataset
-- import LambdaDatasets.GermanDataset
+import LambdaDatasets.GermanDataset
 import Debug.Trace as DB
 import qualified Data.Map.Strict as Map
Author	SHA1	Message	Date
Johannes Merl	fc4d8b8625	fix Iris	2024-05-09 10:54:08 +02:00
Johannes Merl	86f3099622	reduce population to fix memory issues in higher depth case	2024-05-09 10:15:56 +02:00
Johannes Merl	f8f7084bf2	variation 4	2024-05-09 09:28:10 +02:00
Johannes Merl	fe74d7dc35	variation 3	2024-05-09 09:28:10 +02:00
Johannes Merl	2b7cf859ac	switch to german Dataset	2024-05-09 09:00:48 +02:00