From d8865c49d718a3f24f7ff2e53cdb048f7f60aee0 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Thu, 26 Nov 2020 19:05:31 +0100
Subject: [PATCH] Remove test terms

---
 src/Props/Lambda/Term.hs | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/src/Props/Lambda/Term.hs b/src/Props/Lambda/Term.hs
index 4d42547..a6b0316 100644
--- a/src/Props/Lambda/Term.hs
+++ b/src/Props/Lambda/Term.hs
@@ -1,19 +1,13 @@
-{-# LANGUAGE OverloadedStrings #-}
-
 module Props.Lambda.Term
   ( Term(..)
   , vars
   , mapVars
   , consts
   , mapConsts
-  , termI
-  , termY
   ) where
 
 import           Numeric.Natural
 
-import qualified Data.Text       as T
-
 -- | Lambda calculus term using De Bruijn indexing and expanded to deal with
 -- naming complexity and extensions.
 data Term e c v
@@ -53,11 +47,3 @@ mapConsts f (Const c)    = Const (f c)
 mapConsts f (Lambda v t) = Lambda v (mapConsts f t)
 mapConsts f (App l r)    = App (mapConsts f l) (mapConsts f r)
 mapConsts _ (Ext e)      = Ext e
-
-termI :: Term e T.Text T.Text
-termI = Lambda "x" (Var 0)
-
-termY :: Term e T.Text T.Text
-termY = Lambda "f" $ App
-  (Lambda "x" $ App (Var 1) $ App (Var 0) (Var 0))
-  (Lambda "x" $ App (Var 1) $ App (Var 0) (Var 0))