fix Iris

reduce population to fix memory issues in higher depth case
variation 3
2024-05-09 10:53:57 +02:00 · 2024-05-09 10:12:57 +02:00 · 2024-05-09 09:21:37 +02:00 · 2024-05-09 09:01:57 +02:00
1 changed files with 2 additions and 2 deletions
--- a/lambda/src/Main.hs
+++ b/lambda/src/Main.hs
@@ -8,8 +8,8 @@ import Pipes
 import Pretty
 import Protolude hiding (for)
 import System.IO
-import LambdaDatasets.IrisDataset
+-- import LambdaDatasets.IrisDataset
-- import LambdaDatasets.NurseryDataset
+import LambdaDatasets.NurseryDataset
 -- import LambdaDatasets.GermanDataset
 import Debug.Trace as DB
 import qualified Data.Map.Strict as Map
Author	SHA1	Message	Date
Johannes Merl	e115ce48e1	fix Iris	2024-05-09 10:53:57 +02:00
Johannes Merl	f39901d73e	reduce population to fix memory issues in higher depth case	2024-05-09 10:12:57 +02:00
Johannes Merl	f8bd299e3b	variation 3	2024-05-09 09:21:37 +02:00
Johannes Merl	dcfe1ee497	switch to nursery Dataset	2024-05-09 09:01:57 +02:00