aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Brainfuck.dcl2
1 files changed, 0 insertions, 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