From 90669d01f28d0d94c5cc54edc96bc358c99d5033 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Sun, 13 Dec 2020 23:23:37 +0000
Subject: [PATCH] Remove examples for testing

---
 propa-tools.cabal           |  1 -
 src/Propa/Prolog/Example.hs | 19 -------------------
 2 files changed, 20 deletions(-)
 delete mode 100644 src/Propa/Prolog/Example.hs

diff --git a/propa-tools.cabal b/propa-tools.cabal
index 2ac17e0..8a5af23 100644
--- a/propa-tools.cabal
+++ b/propa-tools.cabal
@@ -24,7 +24,6 @@ library
       Propa.Lambda.Term
       Propa.Prolog.Debug
       Propa.Prolog.Display
-      Propa.Prolog.Example
       Propa.Prolog.Parse
       Propa.Prolog.Types
       Propa.Prolog.Unify
diff --git a/src/Propa/Prolog/Example.hs b/src/Propa/Prolog/Example.hs
deleted file mode 100644
index 91ded59..0000000
--- a/src/Propa/Prolog/Example.hs
+++ /dev/null
@@ -1,19 +0,0 @@
-{-# LANGUAGE OverloadedStrings #-}
-
-module Propa.Prolog.Example where
-
-import qualified Data.Text          as T
-
-import           Propa.Prolog.Types
-
-db :: Db T.Text
-db =
-  [ Def "append" [Stat "nil" [], Var "Y", Var "Y"] []
-  , Def "append" [Stat "cons" [Var "X", Var "XS"], Var "Y", Stat "cons" [Var "X", Var "Z"]] [Stat "append" [Var "XS", Var "Y", Var "Z"]]
-  ]
-
-l12 :: Term T.Text
-l12 = Stat "cons" [Stat "1" [], Stat "cons" [Stat "2" [], Stat "nil" []]]
-
-l345 :: Term T.Text
-l345 = Stat "cons" [Stat "3" [], Stat "cons" [Stat "4" [], Stat "cons" [Stat "5" [], Stat "nil" []]]]