diff options
Diffstat (limited to 'Brainfuck.dcl')
| -rw-r--r-- | Brainfuck.dcl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Brainfuck.dcl b/Brainfuck.dcl index 672fb04..16bb99a 100644 --- a/Brainfuck.dcl +++ b/Brainfuck.dcl @@ -10,9 +10,8 @@ import StdEnv, StdList :: Tape :== [Cell] :: DataPointer :== Int -:: Output :== [Cell] :: Input :== [Cell] -run :: Program Input *env -> *env | FileSystem env +run :: Program *env -> *env | FileSystem env read :: String -> Program |