From 01f92d58cc5ee3401dc66c185258833391399453 Mon Sep 17 00:00:00 2001
From: Erik Post <erik@shinsetsu.nl>
Date: Tue, 16 Oct 2018 01:27:22 +0200
Subject: [PATCH] Eliminate sepBy, sepBy'. #71

---
 src/Language/Instance.hs | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/Language/Instance.hs b/src/Language/Instance.hs
index 2a383eb..cbc666b 100644
--- a/src/Language/Instance.hs
+++ b/src/Language/Instance.hs
@@ -90,14 +90,6 @@ aAtt alg f x = nf'' alg $ Att f $ up15 $ repr alg x
 aSk :: Algebra var ty sym en fk att gen sk x y -> sk -> Term Void ty sym Void Void Void Void y
 aSk alg g = nf'' alg $ Sk g
 
-sepBy :: [[Char]] -> [Char] -> [Char]
-sepBy [] _ = ""
-sepBy (x:[]) _ = x
-sepBy (x:y ) sep = x ++ sep ++ (sepBy y sep)
-
-sepBy' :: [Char] -> [[Char]] -> [Char]
-sepBy' x y = sepBy y x
-
 instance (Show var, Show ty, Show sym, Show en, Show fk, Show att, Show gen, Show sk, Show x, Show y, Eq en, Eq fk, Eq att)
   => Show (Algebra var ty sym en fk att gen sk x y) where
   show alg@(Algebra sch _ _ _ ty' _ _ teqs') =