1 files changed, 0 insertions, 158 deletions
diff --git a/src/kompsos-prelude.ads b/src/kompsos-prelude.ads
deleted file mode 100644
index 2ad2309..0000000
--- a/src/kompsos-prelude.ads
+++ /dev/null
@@ -1,158 +0,0 @@
-
-
---  Programmed by Jedidiah Barber
---  Licensed under the Sunset License v1.0
-
---  See license.txt for further details
-
-
-generic
-package Kompsos.Prelude is
-
-
-    type World is new Mu_World with private;
-
-    Empty_World : constant World;
-
-
-
-
-    --  caro  --
-
-    function Head
-           (This                 : in World;
-            Full_List, Head_Term : in Term'Class)
-        return World;
-
-    procedure Head
-           (This                 : in out World;
-            Full_List, Head_Term : in     Term'Class);
-
-
-    --  cdro  --
-
-    function Tail
-           (This                 : in World;
-            Full_List, Tail_Term : in Term'Class)
-        return World;
-
-    procedure Tail
-           (This                 : in out World;
-            Full_List, Tail_Term : in     Term'Class);
-
-
-    --  conso  --
-
-    function Cons
-           (This                            : in World;
-            Head_Term, Tail_Term, Full_List : in Term'Class)
-        return World;
-
-    procedure Cons
-           (This                            : in out World;
-            Head_Term, Tail_Term, Full_List : in     Term'Class);
-
-
-    --  nullo  --
-
-    function Nil
-           (This     : in World;
-            Nil_Term : in Term'Class)
-        return World;
-
-    procedure Nil
-           (This     : in out World;
-            Nil_Term : in     Term'Class);
-
-
-    --  eqo  --
-    --  Skipped due to being a synonym for Unify
-
-
-    --  eq-caro  --
-    --  Skipped due to being a synonym for Head
-
-
-    --  pairo  --
-
-    function Pair
-           (This      : in World;
-            Pair_Term : in Term'Class)
-        return World;
-
-    procedure Pair
-           (This      : in out World;
-            Pair_Term : in     Term'Class);
-
-
-    --  listo  --
-
-    function Linked_List
-           (This      : in World;
-            List_Term : in Term'Class)
-        return World;
-
-    procedure Linked_List
-           (This      : in out World;
-            List_Term : in     Term'Class);
-
-
-    --  membero  --
-
-    function Member
-           (This                 : in World;
-            Item_Term, List_Term : in Term'Class)
-        return World;
-
-    procedure Member
-           (This                 : in out World;
-            Item_Term, List_Term : in     Term'Class);
-
-
-    --  rembero  --
-
-    function Remove
-           (This                           : in World;
-            Item_Term, List_Term, Out_Term : in Term'Class)
-        return World;
-
-    procedure Remove
-           (This                           : in out World;
-            Item_Term, List_Term, Out_Term : in     Term'Class);
-
-
-    --  appendo  --
-
-    function Append
-           (This                           : in World;
-            List_Term, Item_Term, Out_Term : in Term'Class)
-        return World;
-
-    procedure Append
-           (This                            : in out World;
-            List_Term, Item_Term, Out_Term : in     Term'Class);
-
-
-    --  anyo  --
-    --  Skipped due to Recurse doing the same thing
-
-
-    --  nevero  --
-    --  Skipped since it just creates a failed World
-
-
-    --  alwayso  --
-    --  Skipped due to Recurse doing the same thing
-
-
-private
-
-
-    type World is new Mu_World with null record;
-
-    Empty_World : constant World := (Empty_Mu_World with null record);
-
-
-end Kompsos.Prelude;
-
-