From eb2bab2b91b1c3e28bd1c9a07266e3fd294d3241 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 22 May 2015 17:00:01 +0200
Subject: Cleanup

---
 Brainfuck.dcl | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Brainfuck.dcl b/Brainfuck.dcl
index 16bb99a..7b856c5 100644
--- a/Brainfuck.dcl
+++ b/Brainfuck.dcl
@@ -10,8 +10,6 @@ import StdEnv, StdList
 :: Tape :== [Cell]
 :: DataPointer :== Int
 
-:: Input :== [Cell]
-
 run :: Program *env -> *env | FileSystem env
 
 read :: String -> Program
-- 
cgit v1.2.3