From 826b9d2dad1031a3eca29dd2fb8b6643e53e5fc1 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sun, 14 Dec 2025 19:53:01 +1300 Subject: Core rewritten with memoisation, but somehow Zebra example is bugged --- example/zebra.adb | 7 ------- 1 file changed, 7 deletions(-) (limited to 'example') diff --git a/example/zebra.adb b/example/zebra.adb index 7917421..b5449f5 100644 --- a/example/zebra.adb +++ b/example/zebra.adb @@ -49,11 +49,6 @@ procedure Zebra is package Printer is new SKomp.Pretty_Print (SU.To_String); - function On_Right - (This : in World; - Inputs : in Term_Array) - return World; - function On_Right (This : in World; Inputs : in Term_Array) @@ -130,8 +125,6 @@ begin T (N & N & N & T (+"fox") & N) & T (N & T (+"chesterfields") & N & N & N) & Houses_Term); - Verse.Force (1); - Verse.Member (T (N & N & T (+"water") & N & N) & Houses_Term); Verse.Member (T (N & N & N & T (+"zebra") & N) & Houses_Term); -- cgit