aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2015-05-22 17:00:01 +0200
committerCamil Staps2015-05-22 17:00:01 +0200
commiteb2bab2b91b1c3e28bd1c9a07266e3fd294d3241 (patch)
tree12ba9b1c3c2a69a6f3c3a671f22c5d9be2068829
parentstdin input (diff)
Cleanup
-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